Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Formal Specification using HOPS
Herausgeber Sammlung:
Ehrig, Hartmut; von Henke, Friedrich; Meseguer, José; Wirsing, Martin
Reihentitel:
Dagstuhl-Seminar-Reports
Bandnummer Reihe:
151
Konferenztitel:
Dagstuhl Seminar (1994, Dagstuhl)
Tagungsort:
Dagstuhl
Jahr der Konferenz:
1994
Verlagsort:
Schloss Dagstuhl
Verlag:
Internationales Begegnungs- und Forschungszentrum für Informatik
Jahr:
1994
Seiten (Monografie):
32
Sprache:
Englisch
Fakultät:
Fakultät für Informatik
Institut:
INF 2 - Institut für Softwaretechnologie
Professur:
Schmidt, Gunther
BibTeX