Alexander Knapp

Books
Ernest Bloch Studies Ernest Bloch Studies
Ernest Bloch Studies
2017
Go Where the Bugs Are Go Where the Bugs Are
Go Where the Bugs Are
2025
Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
2016