David W. Bustard;Adam C. Winstanley
-;-
Enhancing cleanroom techniques with refinement calculus
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research