A Functional Programming Approach to the Specification and Verification of Concurrent Systems
Paper in proceedings, 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

Subject Categories

Computer Science

ISBN

3-540-19581-5

More information

Created

10/7/2017