@inproceedings{inproceedings, title  = {{Towards industrially applicable formal methods: three small steps, and one giant leap}},

 publisher = {{IEEE Comput. Soc}},

 url = {{}},

 year = {{1998}},

 month = {{1}},

 author = {{McDermid J and Galloway A and Burton S and Clark J and Toyn I and Tracey N and Valentine S}},

 doi = {{10.1109/icfem.1998.730572}},

 journal = {{Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241)}},

 note = {{Accessed on 2024/12/20}}}