Search

Author/Creator Biro, Mikloš

1. Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. (2016)

Editors:
Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Mikloš
Other Names:
ABZ (Conference), 5th
Record Type:
Book
Extent:
1 online resource (xxi, 426 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search