TY  - RPRT
TI  - AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo
AU  - Sylvain Conchon
AU  - Mohamed Iguernlala
AU  - Alain Mebsout
PY  - 2017
DO  - 10.4204/eptcs.239.1
UR  - https://arxiv.org/abs/1701.07124
ID  - 1701.07124
ER  -