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