Deductive Software Verification: Future Perspectives
Wolfgang Ahrendt
Paperback
Not Available
Tests and Proofs
Integrated Formal Methods
Deductive Software Verification – The KeY Book