%0 Conference Paper %1 conf/wift/GodefroidKMW98 %A Godefroid, Patrice %A Kelly, John %A Miller, Steven P. %A Weil, Frank %B WIFT %D 1998 %I IEEE Computer Society %K dblp %P 128- %T Transferring Formal Methods Technology to Industry. %U http://dblp.uni-trier.de/db/conf/wift/wift1998.html#GodefroidKMW98 %@ 0-7695-0081-1

@inproceedings{conf/wift/GodefroidKMW98, added-at = {2014-08-07T00:00:00.000+0200}, author = {Godefroid, Patrice and Kelly, John and Miller, Steven P. and Weil, Frank}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d6ef576de386c0a63088a9e236a545a0/dblp}, booktitle = {WIFT}, crossref = {conf/wift/1998}, ee = {http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766306}, interhash = {c7e03db1e9dc35e8debbee95368a568b}, intrahash = {d6ef576de386c0a63088a9e236a545a0}, isbn = {0-7695-0081-1}, keywords = {dblp}, pages = {128-}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T11:49:27.000+0100}, title = {Transferring Formal Methods Technology to Industry.}, url = {http://dblp.uni-trier.de/db/conf/wift/wift1998.html#GodefroidKMW98}, year = 1998 }