Login / Signup
Alexander Kittelmann
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 4
Top Topics
Formal Analysis
Information Flow Control
Language Learning
Top Venues
CoRR
SEFM
The Logic of Software. A Tasting Menu of Formal Methods
ISoLA (1)
</>
Publications
</>