*Result*: Specification and verification of object oriented software components
*Title*:
Specification and verification of object oriented software components / by Andreas Roth
*Author/editor-in-chief*:
*Publication*:
Karlsruhe : Univ.-Verlag Karlsruhe, 2006
*Physical description scale*:
1 Online-Ressource
*Format*:
*Language*:
*eng*
*Dissertation note*:
Dissertation, Universität Karlsruhe, 2006
*Subject Added Keywords*:
*ISBN*:
3866440421