%0 Conference Paper %1 conf/icfem/McDermidGBCTTV98 %A McDermid, John A. %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 dblp %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-03-23T00:00:00.000+0100}, author = {McDermid, John A. 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/211ce1a2bc4c1fbbad81a02b9878d634a/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/1998}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICFEM.1998.730572}, interhash = {1ca6437bf61e74f660a61b7a54fbce9d}, intrahash = {11ce1a2bc4c1fbbad81a02b9878d634a}, isbn = {0-8186-9198-0}, keywords = {dblp}, pages = {76-89}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:16:28.000+0200}, 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 }