Login / Signup
Mandy Weißbach
Publication Activity (10 Years)
Years Active: 2010-2024
Publications (10 Years): 5
Top Topics
Logical Framework
Update Semantics
Quantitative Analysis
Multi Step
Top Venues
ESOCC Workshops
ESOCC
ABZ
Logic, Computation and Rigorous Methods
</>
Publications
</>