%0 Conference Paper %1 conf/ifip/Sufrin89 %A Sufrin, Bernard %B IFIP Congress %D 1989 %E Ritter, Gerhard X. %I North-Holland/IFIP %K dblp %P 61-69 %T Effective Industrial Application of Formal Methods. %U http://dblp.uni-trier.de/db/conf/ifip/ifip89.html#Sufrin89 %@ 0-444-88015-1

@inproceedings{conf/ifip/Sufrin89, added-at = {2019-07-28T00:00:00.000+0200}, author = {Sufrin, Bernard}, biburl = {https://www.bibsonomy.org/bibtex/28c76eceb8315f9f7c24cc70168c2831f/dblp}, booktitle = {IFIP Congress}, crossref = {conf/ifip/1989}, editor = {Ritter, Gerhard X.}, interhash = {61a6957b9ce2b771e6e36f17c405716b}, intrahash = {8c76eceb8315f9f7c24cc70168c2831f}, isbn = {0-444-88015-1}, keywords = {dblp}, pages = {61-69}, publisher = {North-Holland/IFIP}, timestamp = {2024-04-09T12:18:46.000+0200}, title = {Effective Industrial Application of Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip89.html#Sufrin89}, year = 1989 }