Title

Integrated Formal Methods. 10th International Conference, IFM 2013

Title Supplement

Turku, Finland, June 10-14, 2013. Proceedings

Person Involved

Publisher

Publishing Place

Berlin

Publication Date

2013

Series

Lecture Notes in Computer Science; 7940

ISBN

978-3-642-38612-1

978-3-642-38613-8

Conference