- Tytuł:
- Towards automated consistency checking of module interface specifications
- Autorzy:
-
Engel, M.
Kret, A.
Mincer-Daszkiewicz, J. - Data publikacji:
- 2000
- Słowa kluczowe:
-
software engineering
formal method
automated theorem proving
shallow and deep embedding
axiomatic and definitional embedding
Trace Assertion Method
PVS - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł