N. Plat
2 published titles
Towards next generation tools for VDM : contributions to the first international overture workshop, Newcastle, July 2005
(Contributor)
1 edition
- University of Newcastle upon Tyne
- 2006
- Details
Proceedings of the 8th Overture Workshop.
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
