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