Deductive Software Verification – The KeY Book
6 contributors - Paperback
£109.99
Deductive Software Verification: Future Perspectives
5 contributors - Paperback
£44.99