Formal Methods and Software Engineering
3 contributors - Paperback
£44.99
Specification, Algebra, and Software
£69.99