Results
Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
© 2016
Soft cover - Print (ISBN: 978-3-319-33599-5)
Electronic (ISBN: 978-3-319-33600-8)
View this book on
SpringerLink
Download Product Archive File - 978-3-319-33600-8