Edmund M Clarke, Jr Author & Editor

Model Checking

5 authors - Hardback

£72.00

Model Checking

3 authors - Hardback

£62.00