Result: A Refinement Method for Java Programs

*Title*:

A Refinement Method for Java Programs / Holger Grandy ; Kurt Stenzel ; Wolfgang Reif

*Author/editor-in-chief*:

*Publication*:

Augsburg : Universität Augsburg, 2006

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2006-29

*Result*: A Refinement Method for Java Programs