Peter Gorm Larsen

Combining VDM with Executable Code

Research output: Research - peer-reviewConference article

  • Claus Ballegård Nielsen
    Claus Ballegård NielsenDenmark
  • Kenneth Lausdahl
    Kenneth LausdahlDenmark
  • Peter Gorm Larsen
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 201221 Jun 2012

Conference

ConferenceThird International Conference, ABZ 2012
CountryItaly
CityPisa
Period18/06/201221/06/2012

See relations at Aarhus University Citationformats

ID: 51705288