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)

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

Y2  - 2024/10/23

ER  -