%0 Conference Paper %1 conf/podc/Pnueli97 %A Pnueli, Amir %B PODC %D 1997 %E Burns, James E. %E Attiya, Hagit %I ACM %K dblp %P 7 %T Verification Engineering: A Future Profession (A. M. Turing Award Lecture). %U http://dblp.uni-trier.de/db/conf/podc/podc97.html#Pnueli97 %@ 0-89791-952-1

@inproceedings{conf/podc/Pnueli97, added-at = {2018-11-06T00:00:00.000+0100}, author = {Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/27c734f58a7a3d555b51753dc2195c392/dblp}, booktitle = {PODC}, crossref = {conf/podc/1997}, editor = {Burns, James E. and Attiya, Hagit}, ee = {https://doi.org/10.1145/259380.259407}, interhash = {de7ba368ee0a53bed70b9ef6edb73a79}, intrahash = {7c734f58a7a3d555b51753dc2195c392}, isbn = {0-89791-952-1}, keywords = {dblp}, pages = 7, publisher = {ACM}, timestamp = {2018-11-07T14:52:27.000+0100}, title = {Verification Engineering: A Future Profession (A. M. Turing Award Lecture).}, url = {http://dblp.uni-trier.de/db/conf/podc/podc97.html#Pnueli97}, year = 1997 }