Proceedings of the 10th Overture Workshop

  1. Lookup NU author(s)
  2. Dr Stephen Riddle
Author(s)Plat N, Ballegaard Nielsen C, Riddle S
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Source Publication DateAugust 2012
Report Number1345
Full text is available for this publication:
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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication