Original language | Undefined/Unknown |
---|---|
Title of host publication | 2nd International Conference on Integrated Formal Methods, IFM'2000 |
Editors | W Grieskamp, T Santen, B Stoddart |
Publisher | Springer-Verlag |
Pages | – |
Publication status | Published - 2000 |
MoE publication type | A4 Article in a conference publication |
Event | conference - Duration: 1 Jan 2010 → … |
Conference
Conference | conference |
---|---|
Period | 01/01/10 → … |