Undefined Expressions and Logic in Z and B
Formal Methods in System Design
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
Semantic Web for Extending and Linking Formalisms
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Towards a rigorous object-oriented analysis and design method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Hi-index | 0.00 |