Extra Materials Archive

Book cover

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

Extra Materials File 978-3-319-33600-8