Reading Length
Home
Speed Tests
Login
Klaus Reichl
Identifiers
Open Library
OL8432491A
Books by Klaus Reichl
Total count: 1
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Springer
2018-05-08
