Winter School: Abstract Software Specifications 1979: Copenhagen, Denmark

Refine list

showing all ?? records

Prelude

Constructive Definitions

Algebraic Semantics

Program Specifications

An Interlude

Parallelism & Non-determinism

Postlude