%0 Conference Paper %1 conf/icfem/McDermidGBCTTV98 %A McDermid, John %A Galloway, Andy %A Burton, Simon %A Clark, John A. %A Toyn, Ian %A Tracey, Nigel J. %A Valentine, Samuel H. %B ICFEM %D 1998 %I IEEE Computer Society %K %P 76-89 %T Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. %U http://dblp.uni-trier.de/db/conf/icfem/icfem1998.html#McDermidGBCTTV98 %@ 0-8186-9198-0

@inproceedings{conf/icfem/McDermidGBCTTV98, added-at = {2023-12-12T19:09:53.000+0100}, author = {McDermid, John and Galloway, Andy and Burton, Simon and Clark, John A. and Toyn, Ian and Tracey, Nigel J. and Valentine, Samuel H.}, biburl = {https://www.bibsonomy.org/bibtex/281d8b7b2c4b87cebda9575057f9a2989/admin}, booktitle = {ICFEM}, crossref = {conf/icfem/1998}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICFEM.1998.730572}, interhash = {1ca6437bf61e74f660a61b7a54fbce9d}, intrahash = {81d8b7b2c4b87cebda9575057f9a2989}, isbn = {0-8186-9198-0}, keywords = {}, pages = {76-89}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T19:09:53.000+0100}, title = {Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem1998.html#McDermidGBCTTV98}, year = 1998 }