AUTOMATED TRANSLATION OF VDM-SL TO JML-ANNOTATED JAVA: Electrical and Computer Engineering

Publikation: Forskning - peer reviewRapport

OriginalsprogEngelsk
UdgiverAarhus University
Antal sider384
StatusUdgivet - feb. 2017
SerieTechnical report ECE - TR - 29
Nummer29
Vol/bind5
ISSN2245-2087

Se relationer på Aarhus Universitet Citationsformater

ID: 110772588