%0 Conference Paper %1 journals/entcs/FarmerG09 %A Farmer, William M. %A Grigorov, Orlin G. %B UITP@TPHOLs %D 2008 %E Autexier, Serge %E Benzmüller, Christoph %I Elsevier %K dblp %P 39-48 %T Panoptes: An Exploration Tool for Formal Proofs. %U http://dblp.uni-trier.de/db/journals/entcs/entcs226.html#FarmerG09 %V 226

@inproceedings{journals/entcs/FarmerG09, added-at = {2023-02-24T00:00:00.000+0100}, author = {Farmer, William M. and Grigorov, Orlin G.}, biburl = {https://www.bibsonomy.org/bibtex/2de8d296337a1a815dbd8469dde8d4870/dblp}, booktitle = {UITP@TPHOLs}, crossref = {conf/uitp/2008}, editor = {Autexier, Serge and Benzmüller, Christoph}, ee = {https://doi.org/10.1016/j.entcs.2008.12.096}, interhash = {2ee00664bf7ee691b7c71c993db02d8c}, intrahash = {de8d296337a1a815dbd8469dde8d4870}, keywords = {dblp}, pages = {39-48}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T16:36:34.000+0200}, title = {Panoptes: An Exploration Tool for Formal Proofs.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs226.html#FarmerG09}, volume = 226, year = 2008 }