Treffer: A Refinement Method for Java Programs
Titel:
A Refinement Method for Java Programs / Holger Grandy ; Kurt Stenzel ; Wolfgang Reif
Beteiligt:
Veröffentlicht:
Augsburg : Universität Augsburg, 2006
Umfang:
Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2006-29