Richard Bubel Editor

Deductive Software Verification – The KeY Book

6 contributors - Paperback

£109.99

Deductive Software Verification: Future Perspectives

5 contributors - Paperback

£44.99

The Logic of Software. A Tasting Menu of Formal Methods

4 contributors - Paperback

£89.99