Automated translation of VDM to JML-annotated Java

Research output: Research - peer-reviewJournal article

DOI

Original languageEnglish
JournalInternational Journal on Software Tools for Technology Transfer
Pages (from-to)1-25
Number of pages25
ISSN1433-2779
DOIs
StatePublished - 11 Feb 2017

See relations at Aarhus University Citationformats

ID: 109689394