Department of Engineering

You are here: Department of Engineering » Contact » Peter Gorm Larsen » Research outputs » Combining VDM with Executable Code

Contact

Peter Gorm Larsen

Combining VDM with Executable Code

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review

Links

Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume7316
Pages (from-to)266-279
Number of pages14
ISSN0302-9743
StatePublished - 2012
EventThird International Conference, ABZ 2012 - Pisa, Italy
Duration: 18 Jun 2012 → 21 Jun 2012

Conference

ConferenceThird International Conference, ABZ 2012
CountryItaly
CityPisa
Period18/06/2012 → 21/06/2012

See relations at Aarhus University Citationformats

ID: 51705288