%0 Conference Paper %1 conf/podc/FrankelGY96 %A Frankel, Yair %A Gemmell, Peter %A Yung, Moti %B PODC %D 1996 %E Burns, James E. %E Moses, Yoram %I ACM %K dblp %P 211 %T Witness-Based Cryptographic Program Checking and Applications (an Announcement). %U http://dblp.uni-trier.de/db/conf/podc/podc96.html#FrankelGY96 %@ 0-89791-800-2

@inproceedings{conf/podc/FrankelGY96, added-at = {2018-11-06T00:00:00.000+0100}, author = {Frankel, Yair and Gemmell, Peter and Yung, Moti}, biburl = {https://www.bibsonomy.org/bibtex/2dd0d84211633601c96be476ed95e811c/dblp}, booktitle = {PODC}, crossref = {conf/podc/1996}, editor = {Burns, James E. and Moses, Yoram}, ee = {https://doi.org/10.1145/248052.248094}, interhash = {4b4800139afdb969a97325592a07db77}, intrahash = {dd0d84211633601c96be476ed95e811c}, isbn = {0-89791-800-2}, keywords = {dblp}, pages = 211, publisher = {ACM}, timestamp = {2018-11-07T14:52:49.000+0100}, title = {Witness-Based Cryptographic Program Checking and Applications (an Announcement).}, url = {http://dblp.uni-trier.de/db/conf/podc/podc96.html#FrankelGY96}, year = 1996 }