Title

Integrated Formal Methods. 10th International Conference, IFM 2013
Titel Supplements
Turku, Finland, June 10-14, 2013. Proceedings
Verlag
Verlagsort
Berlin
Datum
2013
Serie
Lecture Notes in Computer Science
ISBN
978-3-642-38612-1
978-3-642-38613-8
Konferenz