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

J.F. Groote (Editor), S.P. Luttik (Editor), J.J. Wamel, van (Editor)

Research output: Book/Report › Book editing › Academic › peer-review

Cite this

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 -