Conference
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Editors
Lauer PE
Series
Lecture Notes in Computer Science
Volume
693
Publisher
Springer
Publication Date
January 1, 1993
ISBN-10
3-540-56883-2
Conference proceedings
Functional Programming, Concurrency, Simulation and Automated Reasoning