95705-7000){kind=small}
(11) 95705-7000
By
In
Posted Formal Methods 22nd International Symposium, FM 2018, Held as Part of the F 5161
This book is a comprehensive textbook in the field of Informatik/EDV, specifically in Formal Methods. It covers the 22nd International Symposium on Formal Methods held in Oxford, United Kingdom [...]
