A Non-unified View of Modelling, Specification and Programming

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Proceedings, Part I
EditorsTiziana Margaria, Bernhard Steffen
Number of pages17
VolumeI
PublisherSpringer
Publication year29 Oct 2018
Pages52-68
ISBN (print)978-3-030-03417-7
ISBN (Electronic)978-3-030-03418-4
DOIs
Publication statusPublished - 29 Oct 2018
Event
ISoLA: International Symposium on Leveraging Applications of Formal Methods 2018
- Limassol, Cyprus
Duration: 5 Nov 20189 Nov 2018
http://www.isola-conference.org/

Conference

Conference
ISoLA: International Symposium on Leveraging Applications of Formal Methods 2018
LandCyprus
ByLimassol
Periode05/11/201809/11/2018
Internetadresse
SeriesLecture Notes in Computer Science
Volume11244
ISSN0302-9743
SeriesTheoretical Computer Science and General Issues
Volume11244

See relations at Aarhus University Citationformats

ID: 135398875