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

Ämneskategorier

Datavetenskap (datalogi)

ISBN

3-540-19581-5

Mer information

Skapat

2017-10-07