FM 1980: World Congress on Formal Methods - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Helmut K. Berg, Wolfgang K. Giloi, editors, The Use of Formal Specification of Software, June 25-27, 1979, Berlin. Volume 36 of Informatik-Fachberichte, Springer, 1980.

runs on WebDSL