%0 Conference Paper %1 conf/ki/Polak81 %A Polak, Wolfgang %B GWAI %D 1981 %E Siekmann, Jörg H. %I Springer %K dblp %P 256-276 %T Programmverification at Stanford: Past, Present Future. %U http://dblp.uni-trier.de/db/conf/ki/gwai1981.html#Polak81 %V 47 %@ 3-540-10859-9

@inproceedings{conf/ki/Polak81, added-at = {2017-05-25T00:00:00.000+0200}, author = {Polak, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/23eb6c20853eaee24570da12a35ff98c1/dblp}, booktitle = {GWAI}, crossref = {conf/ki/1981}, editor = {Siekmann, Jörg H.}, ee = {https://doi.org/10.1007/978-3-662-02328-0_24}, interhash = {3c1cd073715b2b1d096decff138949f1}, intrahash = {3eb6c20853eaee24570da12a35ff98c1}, isbn = {3-540-10859-9}, keywords = {dblp}, pages = {256-276}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2018-06-21T11:52:13.000+0200}, title = {Programmverification at Stanford: Past, Present Future.}, url = {http://dblp.uni-trier.de/db/conf/ki/gwai1981.html#Polak81}, volume = 47, year = 1981 }