Using a Protean Language to Enhance Expressiveness in Specification
IEEE Transactions on Software Engineering
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
The state-based CCS semantics for concurrent Z specification
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Proof process evaluation with mutation analysis
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Hi-index | 0.00 |