DMCA

ProofTool: GUI for the GAPT Framework∗

by Cvetan Dunchev , Alexander Leitsch , Tomer Libal , Martin Riener , Mikheil Rukhaia , Daniel Weller , Bruno Woltzenlogel-paleo
Citations:1 - 1 self