editor �1991 (0)

by B M�oller
Venue:IFIP TC2�WG2.1 Working Conference on Constructing Programs from Speci�cations