Proceedings of the Doctoral Symposium of Formal Methods 2015

Category

Academic anthology/Conference proceedings

Language

English

Author(s)

Bernhard Aichernig
Alessandro Rossini

Affiliation

Graz University of Technology
SINTEF Digital / Sustainable Communication Technologies

Year

2015

Publisher

Universitetet i Oslo

Issue

.

ISBN

978-82-7368-410-3

View this publication at Cristin