Stephan Gocht
0000-0002-5459-3134
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(16)
Constraint Satisfaction and Optimization
(13)
Logic, programming, and type systems
(9)
Logic, Reasoning, and Knowledge
(8)
Software Testing and Debugging Techniques
(5)
Affiliations
Karlsruhe Institute of Technology
University of Copenhagen
Vrije Universiteit Brussel
Lund University
Department of Physics, Mathematics and Informatics