*Result*: Deductive verification of safety-critical Java programs
*Title*:
Deductive verification of safety-critical Java programs / von Christian Engel
*Author/editor-in-chief*:
*Manufacture*:
2009
*Physical description scale*:
1 Online-Ressource
*Format*:
*Language*:
*eng*
*Dissertation note*:
Dissertation, Universität Karlsruhe, 2009
*Subject Added Keywords*: