Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Lecture Notes in Computer Science, Band 7940)

Proceedings

von: Einar Broch Johnsen · Luigia Petre

Taschenbuch

EAN=ISBN-13: 978-3-642-38612-1

ISBN-10: 3-642-38612-1

Springer · 2013