Peter Gorm Larsen

Code Generation of VDM++ Concurrency

Research output: Research - peer-reviewArticle in proceedings

Original languageEnglish
Title of host publicationProceedings of the 13th Overture Workshop
VolumeGrace-TR 2015-06
Place of publicationTokyo
PublisherNational Institute of Informatics, Tokyo
Publication year2015
Pages60-74
StatePublished - 2015
Event13th Overture workshop - Oslo, Norway
Duration: 23 Jun 201523 Jun 2015

Conference

Conference13th Overture workshop
LandNorway
ByOslo
Periode23/06/201523/06/2015
SeriesGrace Technical Reports
Number06
Volume2015
ISSN1884-0760

See relations at Aarhus University Citationformats

ID: 90238283