Edmund M Clarke Jr Author

Model Checking

5 authors - Hardback

£72.00

Model Checking

3 authors - Hardback

£62.00