Fabian Emmes
- Analyzing Runtime and Size Complexity of Integer Programs
2016/08/02 by Marc Brockschmidt, Fabian Emmes, Stephan Falke +2 · 2 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques