mcmaster 1993: Functional Programming, Concurrency, Simulation and Automated Reasoning - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Peter E. Lauer, editor, Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Volume 693 of Lecture Notes in Computer Science, Springer, 1993.

runs on WebDSL