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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Originele taal-2Engels
Plaats van productieAmsterdam
UitgeverijSMC
Aantal pagina's370
ISBN van geprinte versie90-6196-480-6
StatusGepubliceerd - 1998

Citeer dit