Automated Translation of VDM-SL to JML-annotated JAVA: Electrical and Computer Engineering - ECE-TR-29

Publikation: ForskningRapport

OriginalsprogEngelsk
UdgivelsesstedAarhus
UdgiverAarhus University
Antal sider384
StatusUdgivet - feb. 2017
SerieTechnical Report Electronics and Computer Engineering
Nummer29
Vol/bind5
ISSN2245-2087

Se relationer på Aarhus Universitet Citationsformater

ID: 110772588