Automated translation of VDM to JML-annotated Java

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

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

See relations at Aarhus University Citationformats

ID: 109689394