Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel
Autor: M. Broy, B. Krieg-Brückner
Titel: Derivation of Invariant Assertions During Program Development by Transformation
Seite(n): 321 – 337
Zeitschrift: ACM Transactions on Programming Languages and Systems
Ausgabe: 2
Erscheinungsjahr: 1980
Status: Reviewed
Letzte Aktualisierung: 27. 12. 2002

 Zurück zum Suchergebnis
 
   
Autor: Automatisch generierte Seite
 
  AG BKB 
Zuletzt geändert am: 9. Mai 2023   impressum