Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016
| Authors |
|
| Editors |
Michael Butler Klaus-Dieter Schewe Atif Mashkoor Miklós Biró |
| Title | Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016 |
| Type | proceedings |
| Publisher | Springer |
| Series | Lecture Notes in Computer Science |
| Volume | 9675 |
| ISBN | 978-3-319-33599-5 |
| DOI | 10.1007/978-3-319-33600-8 |
| Month | May |
| Year | 2016 |