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
2022년
Deductive Software Verification: Future Perspectives Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
2020년
Electronic Voting Electronic Voting
Electronic Voting
2020년
Electronic Voting Electronic Voting
Electronic Voting
2019년
Formal Verification of Object-Oriented Software Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software
2011년
Tests and Proofs Tests and Proofs
Tests and Proofs
2008년