Enhancing Testing of VDM-SL models

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelThe 16th Overture Workshop
RedaktørerKen Pierce, Marcel Verheof
Antal sider17
Vol/bindCS-TR-1524
UdgivelsesstedNewcastle
ForlagNewcastle University
Udgivelsesårokt. 2018
Sider7-23
StatusUdgivet - okt. 2018
BegivenhedThe 16th Overture Workshop - Oxford University, Oxford, Storbritannien
Varighed: 14 jul. 2018 → …
http://overturetool.org/workshops/16th-Overture-Workshop.html

Workshop

WorkshopThe 16th Overture Workshop
Lokation Oxford University
LandStorbritannien
ByOxford
Periode14/07/2018 → …
Internetadresse
SerietitelUniversity of Newcastle-upon-Tyne. Computing Science. Technical Report Series
Vol/bind1524
ISSN1368-1060

Se relationer på Aarhus Universitet Citationsformater

ID: 135682954