Read Online Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science Book 9675) Library Binding
Add Comment
2016,
Abstract State Machines,
ABZ 2016,
Alloy,
and Z: 5th International Conference,
Austria,
B,
Linz,
May 23-27,
Proceedings (Lecture Notes in Computer Science Book 9675),
TLA,
VDM
Edit
Read Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceeding...
Read More
