- Tytuł:
- Specification and Verification of Invariants by Exploiting Layers in OO Designs
- Autorzy:
-
Middelkoop, R.
Huizing, C.
Kuiper, R.
Luit, E.J. - Data publikacji:
- 2008
- Słowa kluczowe:
-
OO designs
interpretation - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł