- Tytuł:
- The MODUS Approach to Formal Verification
- Autorzy:
-
Lukasz Brewka
José Soler
Michael Berger - Data publikacji:
- 2014-03-01
- Tematy:
-
software quality
formal verification
embedded systems
translation tool selection - Pokaż więcej
- Dostawca treści:
- CEJSH
Artykuł