%0 Conference Paper %1 conf/ftcs/BolotJ89 %A Bolot, Jean-Chrysostome %A Jalote, Pankaj %B FTCS %D 1989 %I IEEE Computer Society %K dblp %P 283-290 %T Formal verification of programs with exceptions. %U http://dblp.uni-trier.de/db/conf/ftcs/ftcs1989.html#BolotJ89 %@ 0-8186-1959-7

@inproceedings{conf/ftcs/BolotJ89, added-at = {2017-05-23T00:00:00.000+0200}, author = {Bolot, Jean-Chrysostome and Jalote, Pankaj}, biburl = {https://www.bibsonomy.org/bibtex/2fcae3c90698e2a9d9f2974fbaaa8213b/dblp}, booktitle = {FTCS}, crossref = {conf/ftcs/1989}, ee = {https://doi.org/10.1109/FTCS.1989.105580}, interhash = {8cd505d4fd95ac89213792cb637b9da9}, intrahash = {fcae3c90698e2a9d9f2974fbaaa8213b}, isbn = {0-8186-1959-7}, keywords = {dblp}, pages = {283-290}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T13:31:07.000+0200}, title = {Formal verification of programs with exceptions.}, url = {http://dblp.uni-trier.de/db/conf/ftcs/ftcs1989.html#BolotJ89}, year = 1989 }