Automated translation of VDM to JML-annotated Java

Publikation: Forskning - peer reviewTidsskriftartikel

DOI

OriginalsprogEngelsk
TidsskriftInternational Journal on Software Tools for Technology Transfer
Sider (fra-til)1-25
Antal sider25
ISSN1433-2779
DOI
StatusUdgivet - 11 feb. 2017

Se relationer på Aarhus Universitet Citationsformater

ID: 109689394