Towards Industrially Applicable Formal Methods: Three Small Steps, One Giant Leap

In the proceedings of ICFEM (International Conference on Formal Engineering Methods) 1998.

John McDermid, Andy Galloway, Simon Burton, John Clark, Ian Toyn, Nigel Tracey, Sam Valentine.

@inproceedings{McDermid-98,
  author    = {John McDermid and Andy Galloway and Simon Burton and John Clark and Ian Toyn and Nigel Tracey and Sam Valentine},
  title     = {Towards Industrially Applicable Formal Methods: Three Small Steps, One Giant Leap},
  booktitle = {In the proceedings of ICFEM (International Conference on Formal Engineering Methods)},
  organization = {IEEE},
  month     = {December},
  year      = {1998}
}

Back to Publications.