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 | Proceedings of FME'93: Industrial Strength Formal Methods - Duration: 1 Jan 1993 → … |
Conference
Conference | Proceedings of FME'93: Industrial Strength Formal Methods |
---|---|
Period | 01/01/1993 → … |