Proceedings of the Doctoral Symposium of Formal Methods 2015
Category
Anthology
Language
English
Author(s)
- Bernhard Aichernig
- Alessandro Rossini
Affiliation
- SINTEF Digital / Sustainable Communication Technologies
- Graz University of Technology
Year
2015Publisher
Universitetet i Oslo
Issue
.
ISBN
9788273684103
View this publication at Norwegian Research Information Repository