%0 Conference Paper %1 conf/aplas/KawabataTKH18 %A Kawabata, Hideyuki %A Tanaka, Yuta %A Kimura, Mai %A Hironaka, Tetsuo %B APLAS %D 2018 %E Ryu, Sukyoung %I Springer %K dblp %P 157-165 %T Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2018.html#KawabataTKH18 %V 11275 %@ 978-3-030-02768-1

@inproceedings{conf/aplas/KawabataTKH18, added-at = {2018-11-22T00:00:00.000+0100}, author = {Kawabata, Hideyuki and Tanaka, Yuta and Kimura, Mai and Hironaka, Tetsuo}, biburl = {https://www.bibsonomy.org/bibtex/2710f2d9e39359246aa5b7a8945a2777b/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2018}, editor = {Ryu, Sukyoung}, ee = {https://doi.org/10.1007/978-3-030-02768-1_9}, interhash = {7c7c632cce5cb0ba8563050a62f437a6}, intrahash = {710f2d9e39359246aa5b7a8945a2777b}, isbn = {978-3-030-02768-1}, keywords = {dblp}, pages = {157-165}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:41:50.000+0200}, title = {Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2018.html#KawabataTKH18}, volume = 11275, year = 2018 }