Making Changes to Formal Specifications: Requirements and an Example
IEEE Transactions on Software Engineering
Enhancing cleanroom techniques with refinement calculus
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Hi-index | 0.00 |