A Functional Programming Approach to the Specification and Verification of Concurrent Systems
Paper in proceeding, 1990
Author
Peter Dybjer
Department of Computer Sciences
Herbert Sander
Department of Computer Sciences
Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]; Charles Rattray (Ed.)
331-343
3-540-19581-5 (ISBN)
Subject Categories
Computer Science
ISBN
3-540-19581-5