%0 Conference Paper %1 journals/corr/DunchevLLRRWP13 %A Dunchev, Cvetan %A Leitsch, Alexander %A Libal, Tomer %A Riener, Martin %A Rukhaia, Mikheil %A Weller, Daniel %A Paleo, Bruno Woltzenlogel %B UITP %D 2012 %E Kaliszyk, Cezary %E Lüth, Christoph %K dblp %P 1-14 %T PROOFTOOL: a GUI for the GAPT Framework. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs118.html#DunchevLLRRWP13 %V 118

@inproceedings{journals/corr/DunchevLLRRWP13, added-at = {2018-09-12T00:00:00.000+0200}, author = {Dunchev, Cvetan and Leitsch, Alexander and Libal, Tomer and Riener, Martin and Rukhaia, Mikheil and Weller, Daniel and Paleo, Bruno Woltzenlogel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21adef549f84007479c63f6f18b9994ff/dblp}, booktitle = {UITP}, crossref = {journals/corr/KaliszykL13}, editor = {Kaliszyk, Cezary and Lüth, Christoph}, ee = {http://arxiv.org/abs/1307.1942}, interhash = {7635893d9732a6e7d62e72311942c2be}, intrahash = {1adef549f84007479c63f6f18b9994ff}, keywords = {dblp}, pages = {1-14}, series = {EPTCS}, timestamp = {2019-09-27T12:28:00.000+0200}, title = {PROOFTOOL: a GUI for the GAPT Framework.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs118.html#DunchevLLRRWP13}, volume = 118, year = 2012 }