placeholder image

Ulbrich, Mattias

Person

Positions

Karlsruhe Institute of Technology

selected publications

chapter
- Smart Contracts: Application Scenarios for Deductive Program Verification. Springer eBooks. 293-298. 2020

full name

Mattias Ulbrich

Publications in VIVO

Co-author Network