Automated translation of VDM to JML-annotated Java

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikel

DOI

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

Se relationer på Aarhus Universitet Citationsformater

ID: 109689394