Deductive Software Verification: Future Perspectives المزيد من كتب Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle & Mattias Ulbrich

The Logic of Software. A Tasting Menu of Formal Methods The Logic of Software. A Tasting Menu of Formal Methods
The Logic of Software. A Tasting Menu of Formal Methods
٢٠٢٢
Tests and Proofs Tests and Proofs
Tests and Proofs
٢٠٢٠
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
٢٠١٩