TY  - CONF

T1  - Towards industrially applicable formal methods: three small steps, and one giant leap

JO  - Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241)

UR  - https://doi.org/10.1109/icfem.1998.730572

PY  - 1998/01/01

AU  - McDermid J

AU  - Galloway A

AU  - Burton S

AU  - Clark J

AU  - Toyn I

AU  - Tracey N

AU  - Valentine S

ED  - 

DO  - DOI: 10.1109/icfem.1998.730572

PB  - IEEE Comput. Soc

SP  - 76

EP  - 88

Y2  - 2025/11/04

ER  -