A Functional Programming Approach to the Specification and Verification of Concurrent Systems
Paper i proceeding, 1990
Författare
Peter Dybjer
Institutionen för informationsbehandling
Herbert Sander
Institutionen för informationsbehandling
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)
Ämneskategorier
Datavetenskap (datalogi)
ISBN
3-540-19581-5