Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Formal Specification using HOPS
Collection editors:
Ehrig, Hartmut; von Henke, Friedrich; Meseguer, José; Wirsing, Martin
Series title:
Dagstuhl-Seminar-Reports
Series volume:
151
Conference title:
Dagstuhl Seminar (1994, Dagstuhl)
Venue:
Dagstuhl
Year of conference:
1994
Place of publication:
Schloss Dagstuhl
Publisher:
Internationales Begegnungs- und Forschungszentrum für Informatik
Year:
1994
Pages (Book):
32
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Schmidt, Gunther
BibTeX