NASA Formal Methods
3 contributors - Paperback
£44.99
SPIN Model Checker, The
Gerard Holzmann - Paperback
£51.99
