- Tytuł:
- Using Hoare Logic in a Process Algebra Setting
- Autorzy:
-
Bergstra, J. A.
Middelburg, C. A. - Data publikacji:
- 2021
- Słowa kluczowe:
-
process algebra
data parameterized action
assignment action
guarded command
asserted process
Hoare logic - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł