Login / Signup
Axel Simon
Publication Activity (10 Years)
Years Active: 2002-2019
Publications (10 Years): 2
Top Topics
Shape Analysis
Specification Language
Scalability Issues
Distance Maps
Top Venues
Electron. Notes Theor. Comput. Sci.
NASA Formal Methods
Dagstuhl Reports
APLAS
</>
Publications
</>