Result: Modular specification and verification of object oriented programs

*Title*:

*Author/editor-in-chief*:

Müller, Peter

*Publication*:

Hagen : Fernuniv., Fachbereich Informatik, 2001

*Physical description scale*:

VI, 261 S. : graph. Darst. ; 30 cm

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Informatik-Berichte ; 284
*show_all_volumes*

*Dissertation note*:

Zugl.:Hagen, Fernuniv., Diss., 2001

*RVK-Notation*:

*Subject Added Keywords*:

*L1_Classifications*:

*Result*: Modular specification and verification of object oriented programs