Treffer: Deductive verification of safety-critical Java programs
Titel:
Deductive verification of safety-critical Java programs / von Christian Engel
Beteiligt:
Entstehung:
2009
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Universität Karlsruhe, 2009
Schlagworte: