A functional programming approach to the specification and verification of concurrent systems
Artikel i vetenskaplig tidskrift, 1989

Författare

Peter Dybjer

Programmeringslogik

Herbert Sander

Programmeringslogik

Formal Aspects of Computing

Vol. 1 303-319

Ämneskategorier

Annan matematik