Proceedings of the third international workshop on Formal Methods for industrial critical systems, Amsterdam, The Netherlands, May 25-26, 1988

TY - BOOK

T1 - Proceedings of the third international workshop on Formal Methods for industrial critical systems, Amsterdam, The Netherlands, May 25-26, 1988

A2 - Groote, J.F.

A2 - Luttik, S.P.

A2 - Wamel, van, J.J.

PY - 1998

Y1 - 1998

M3 - Book editing

SN - 90-6196-480-6

BT - Proceedings of the third international workshop on Formal Methods for industrial critical systems, Amsterdam, The Netherlands, May 25-26, 1988

PB - SMC

CY - Amsterdam

ER -