*Result*: Deductive verification of safety-critical Java programs

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

*Additional information*

*Additional functions*