Toggle navigation
Home
People
Departments
Research
About
Login
Search
Programming in OBJ and Maude.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Lauer, Peter Ernst
Winkler, Timothy C
publication date
1993
published in
Functional Programming, Concurrency, Simulation and Automated Reasoning
Journal
Identity
International Standard Book Number (ISBN) 10
3-540-56883-2
Additional Document Info
start page
229
end page
277
volume
693