Formale Methoden und Software-Engineering - 9783319478456
ISBN-13: 9783319478456, 978-3319478456. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. Publisher: Springer International Publishing AG, Switzerland.