%0 Conference Paper %1 conf/tphol/Staples99 %A Staples, Mark %B TPHOLs %D 1999 %E Bertot, Yves %E Dowek, Gilles %E Hirschowitz, André %E Paulin-Mohring, Christine %E Théry, Laurent %I Springer %K dblp %P 239-254 %T Representing WP Semantics in Isabelle/ZF. %U http://dblp.uni-trier.de/db/conf/tphol/tphol99.html#Staples99 %V 1690 %@ 3-540-66463-7

@inproceedings{conf/tphol/Staples99, added-at = {2017-05-23T00:00:00.000+0200}, author = {Staples, Mark}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a72f6a017b0657048485417a93d819c4/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/1999}, editor = {Bertot, Yves and Dowek, Gilles and Hirschowitz, André and Paulin-Mohring, Christine and Théry, Laurent}, ee = {https://doi.org/10.1007/3-540-48256-3_16}, interhash = {1161e3e906f746cc11cbca615683a90e}, intrahash = {a72f6a017b0657048485417a93d819c4}, isbn = {3-540-66463-7}, keywords = {dblp}, pages = {239-254}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:19:00.000+0200}, title = {Representing WP Semantics in Isabelle/ZF.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol99.html#Staples99}, volume = 1690, year = 1999 }