Constructing Specifications and Modules in a KZ-Doctrine (1994)

Cached

Download Links

by Gillian Hill
Venue:Theory and Formal Methods '94, pages 219--236. Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods, Imperial College Press, distributed by World Scientific Publishing Co. ISBN
Citations:3 - 3 self