Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands
J.F. Groote (Jan Friso) , S.P. Luttik (Bas) , J.J. van Wamel
CWI Archive M044: 17-02 , M50-FMI-003

Groote, J.F, Luttik, S.P, & van Wamel, J.J (Eds.). (1998). Third international workshop on formal methods for industrial critical systems : held at CWI, Amsterdam, The Netherlands, 25-26.05.1998. In J.F Groote, S.P Luttik, & J.J van Wamel (Eds.), . Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands.