Automated translation of VDM to JML-annotated Java

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

DOI

OriginalsprogEngelsk
TidsskriftInternational Journal on Software Tools for Technology Transfer
Vol/bind20
Tidsskriftsnummer2
Sider (fra-til)211-235
Antal sider25
ISSN1433-2779
DOI
StatusUdgivet - 2018

Se relationer på Aarhus Universitet Citationsformater

ID: 109689394