Formal Verification of Object-Oriented Software المزيد من كتب Bernhard Beckert & Claude Marché

The Logic of Software. A Tasting Menu of Formal Methods

٢٠٢٢

Deductive Software Verification: Future Perspectives

٢٠٢٠

Electronic Voting

٢٠٢٠

Electronic Voting

٢٠١٩

Tests and Proofs

٢٠٠٨