%0 Journal Article %1 journals/fac/BornatS99 %A Bornat, Richard %A Sufrin, Bernard %D 1999 %J Formal Aspects Comput. %K dblp %N 3 %P 244-271 %T A Minimal Graphical User Interface for the Jape Proof Calculator. %U http://dblp.uni-trier.de/db/journals/fac/fac11.html#BornatS99 %V 11

@article{journals/fac/BornatS99, added-at = {2022-05-09T00:00:00.000+0200}, author = {Bornat, Richard and Sufrin, Bernard}, biburl = {https://www.bibsonomy.org/bibtex/2090a1e390f330934f8d0e176cf53806b/dblp}, ee = {https://doi.org/10.1007/s001650050050}, interhash = {460271274257218e94f6b1cf96bca918}, intrahash = {090a1e390f330934f8d0e176cf53806b}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 3, pages = {244-271}, timestamp = {2024-04-09T05:37:12.000+0200}, title = {A Minimal Graphical User Interface for the Jape Proof Calculator.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac11.html#BornatS99}, volume = 11, year = 1999 }