Peter Gorm Larsen
Combining VDM with Executable Code
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article
Original language | English |
---|
Book series | Lecture Notes in Computer Science |
---|
Volume | 7316 |
---|
Pages (from-to) | 266-279 |
---|
Number of pages | 14 |
---|
ISSN | 0302-9743 |
---|
State | Published - 2012 |
---|
Event | Third International Conference, ABZ 2012 - Pisa, Italy Duration: 18 Jun 2012 → 21 Jun 2012 |
---|
Conference | Third International Conference, ABZ 2012 |
---|
Country | Italy |
---|
City | Pisa |
---|
Period | 18/06/2012 → 21/06/2012 |
---|
See relations at Aarhus University
Citationformats
ID: 51705288