A Non-unified View of Modelling, Specification and Programming

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

DOI

OriginalsprogEngelsk
TitelLeveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Proceedings, Part I
RedaktørerTiziana Margaria, Bernhard Steffen
Antal sider17
Vol/bindI
ForlagSpringer
Udgivelsesår29 okt. 2018
Sider52-68
ISBN (trykt)978-3-030-03417-7
ISBN (Elektronisk)978-3-030-03418-4
DOI
StatusUdgivet - 29 okt. 2018
Begivenhed
ISoLA: International Symposium on Leveraging Applications of Formal Methods 2018
- Limassol, Cypern
Varighed: 5 nov. 20189 nov. 2018
http://www.isola-conference.org/

Konference

Konference
ISoLA: International Symposium on Leveraging Applications of Formal Methods 2018
LandCypern
ByLimassol
Periode05/11/201809/11/2018
Internetadresse
SerietitelLecture Notes in Computer Science
Vol/bind11244
ISSN0302-9743
SerietitelTheoretical Computer Science and General Issues
Vol/bind11244

Se relationer på Aarhus Universitet Citationsformater

ID: 135398875