Peter Gorm Larsen

Using JML-based Code Generation to Enhance Test Automation for VDM Models

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publication14th Overture Workshop: Towards Analytic Tool Chains : Technical report ECE - TR - 28
EditorsPeter Gorm Larsen, Nico Plat, Nick Battle
Number of pages15
Place of publicationAarhus
PublisherAarhus University, Department of Engineering
Publication yearNov 2016
Pages79-93
StatePublished - Nov 2016
EventThe 14th Overture Workshop: Towards Analytical Tool Chains - Limassol, Cyprus
Duration: 7 Nov 20167 Nov 2016
http://overturetool.org/workshops/14th-Overture-Workshop.html

Workshop

WorkshopThe 14th Overture Workshop
LandCyprus
ByLimassol
Periode07/11/201607/11/2016
Internetadresse
SeriesTechnical report ECE - TR - 28
ISSN2245-2087

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 104751941