conf.researchr.org / Sven Keidel

Registered user since Thu 24 Mar 2016
Name: Sven Keidel
Country: Germany
Affiliation: JGU Mainz
Personal website: http://svenkeidel.de
Research interests: Abstract Interpretation, Static Analysis, Category Theory
Contributions