Conference
An Overview of Larch.
Authors
Garland SJ; Guttag JV; Horning JJ
Editors
Lauer PE
Series
Lecture Notes in Computer Science
Volume
693
Pagination
pp. 329-348
Publisher
Springer
Publication Date
1993
ISBN-10
3-540-56883-2
Conference proceedings
Functional Programming, Concurrency, Simulation and Automated Reasoning