%0 Journal Article %1 journals/cj/BornatS99 %A Bornat, Richard %A Sufrin, Bernard %D 1999 %J Comput. J. %K dblp %N 3 %P 177-192 %T Animating Formal Proof at the Surface: The Jape Proof Calculator. %U http://dblp.uni-trier.de/db/journals/cj/cj42.html#BornatS99 %V 42

@article{journals/cj/BornatS99, added-at = {2011-06-28T00:00:00.000+0200}, author = {Bornat, Richard and Sufrin, Bernard}, biburl = {https://www.bibsonomy.org/bibtex/2b43764e7131f642500bcaed64b3bc0e2/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/42.3.177}, interhash = {26a85c0162e3b9423f79ca708b6cae82}, intrahash = {b43764e7131f642500bcaed64b3bc0e2}, journal = {Comput. J.}, keywords = {dblp}, number = 3, pages = {177-192}, timestamp = {2011-06-29T16:38:48.000+0200}, title = {Animating Formal Proof at the Surface: The Jape Proof Calculator.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj42.html#BornatS99}, volume = 42, year = 1999 }