Concurrency Verification
7 authors - Paperback
£71.99
7 authors - Hardback
£225.00
FM 2015: Formal Methods
2 contributors - Paperback
£44.99
Active Object Languages: Current Research Trends
5 contributors - Paperback
£59.99
Software Engineering and Formal Methods
£49.99