Bernhard Beckert

الكتب
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
٢٠٢٢
Deductive Software Verification: Future Perspectives Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
٢٠٢٠
Electronic Voting Electronic Voting
Electronic Voting
٢٠٢٠
Electronic Voting Electronic Voting
Electronic Voting
٢٠١٩
Formal Verification of Object-Oriented Software Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software
٢٠١١
Tests and Proofs Tests and Proofs
Tests and Proofs
٢٠٠٨