Login
Dokumenttyp:
Zeitschriftenartikel / Journal Article
Titel:
Programs as Partial Graphs 1
Untertitel:
Flow Equivalence and Correctness
Zeitschrift:
Theoretical Computer Science (TCS)
Jahrgang:
15
Heftnummer:
1
Jahr:
1981
Seiten von - bis:
1-25
Sprache:
Englisch
URL zum Inhalt:
Fakultät:
Fakultät für Informatik
Institut:
INF 2 - Institut für Softwaretechnologie
Professur:
Schmidt, Gunther
BibTeX