Peter Gorm Larsen

Automated translation of VDM to JML-annotated Java

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

Original languageEnglish
JournalInternational Journal on Software Tools for Technology Transfer
Volume20
Issue number2
Pages (from-to)211-235
Number of pages25
ISSN1433-2779
DOIs
StatePublished - 2018

See relations at Aarhus University Citationformats

ID: 109689394