Treffer: Transformations of specifications and proofs to support an evolutionary formal software development
Titel:
Verantwortlich:
Entstehung:
2006
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Universität des Saarlandes, Saarbrücken, 2006
Anmerkungen:
Erscheinungsjahr an der Haupttitelstelle: 2005
Schlagworte: