Proceedings of the Doctoral Symposium of Formal Methods 2015
Kategori
Vitenskapelig antologi/Konferanseserie
Språk
Engelsk
Forfatter(e)
- Bernhard Aichernig
- Alessandro Rossini
Institusjon(er)
- Technische Universität Graz
- SINTEF Digital / Sustainable Communication Technologies
År
2015Forlag
Universitetet i Oslo
Hefte nr.
.
ISBN
978-82-7368-410-3