Login / Signup
Martin Bitterlich
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Multi Tiered
Signature Verification
Continuous Media
Software Package
Top Venues
VSTTE
The Logic of Software. A Tasting Menu of Formal Methods
Logic, Computation and Rigorous Methods
</>
Publications
</>