selected publications
-
chapter
- Smart Contracts: Application Scenarios for Deductive Program Verification. Springer eBooks. 293-298. 2020
-
conference paper
Close
Beckert, Bernhard
Positions
Publications
Contact
full name
- Bernhard Beckert
Publications in VIVO
Co-author Network
Map of Science