×
  • Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

    Michael Butler

Click on cover to enlarge.
Buy This Book
From Amazon.