Browse by author
Lookup NU author(s): Dr Stephen RiddleORCiD
This technical report represents the proceedings of the 10th Overture Workshop, held at CNAM, Paris, France on 28 August 2012, as part of the FM 2012 symposium. As with all the Overture workshops, its purpose was to foster an active community of researchers and practitioners working with VDM in both academia and industry. The 10th Overture workshop emphasised topics that mesh closely with the themes of FM 2012 itself, particularly application experience in industry, validation of tools and methods and the development of tools.
Author(s): Plat N, Ballegaard Nielsen C, Riddle S
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2012
Pages: 45
Print publication date: 01/08/2012
Source Publication Date: August 2012
Report Number: 1345
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1345.pdf