Original language | English |
---|---|
Title of host publication | Proceedings of FME'93: Industrial Strength Formal Methods |
Publisher | Springer Verlag |
Publication date | 1993 |
Publication status | Published - 1993 |
Event | First International Symposium of Formal Methods Europe - Odense, Denmark Duration: 19 Apr 1993 → 23 Apr 1993 |
Conference
Conference | First International Symposium of Formal Methods Europe |
---|---|
Country/Territory | Denmark |
City | Odense |
Period | 19/04/1993 → 23/04/1993 |