Alexander J. Summers - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Sun 21 Feb 2016

Name:Alexander J. Summers

Affiliation:ETH Zurich

Personal website: http://people.inf.ethz.ch/summersa/wiki/index.php

Contributions

2019

TACAS

The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations

Show activities from other conferences

ETAPS 2019-profile
View general profile