ifip2-1 1993: Formal Program Development - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Bernhard Möller, Helmuth Partsch, Stephen A. Schuman, editors, Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. Volume 755 of Lecture Notes in Computer Science, Springer, 1993.

runs on WebDSL