Projects per year
Original language | English |
---|---|
Title of host publication | Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005 |
Publisher | . |
Pages | 59-71 |
Volume | CS-TR-969 |
Publication status | Published - 2006 |
Event | International Symposium of Formal Methods Europe - Newcastle upon Tyne, United Kingdom Duration: 18 Jul 2005 → 18 Jul 2005 |
Publication series
Name | University of Newcastle upon Tyne, Computer Science Technical Report Series |
---|
Conference
Conference | International Symposium of Formal Methods Europe |
---|---|
Country | United Kingdom |
City | Newcastle upon Tyne |
Period | 18/07/05 → 18/07/05 |
Projects
- 1 Active