iwfm 1999: IWFM - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Andrew Butterfield, Klemens Haegele, editors, 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999. Workshops in Computing, BCS, 1999.

runs on WebDSL