Login
Document type:
Zeitschriftenartikel / Journal Article
Title:
Programs as Partial Graphs 1
Subtitle:
Flow Equivalence and Correctness
Journal:
Theoretical Computer Science (TCS)
Volume:
15
Issue:
1
Year:
1981
Pages from - to:
1-25
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Schmidt, Gunther
BibTeX