Abstract State Machines, Alloy, B, TLA, VDM, and Z
4 contributors - Paperback
£44.99
Subscribe to our newsletter, and stay in the loop:
