A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Making Changes to Formal Specifications: Requirements and an Example
IEEE Transactions on Software Engineering
Verification Is Experimentation!
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Hi-index | 0.00 |