Object-Z web environment and projections to UML
Proceedings of the 10th international conference on World Wide Web
A Formal Object Approach to the Design of ZML
Annals of Software Engineering
Characters + Mark-up = Z Lexis
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Semantic Web for Extending and Linking Formalisms
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Enhanced semantic access to formal software models
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
SVG web environment for z specification language
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
| Hi-index | 0.00 |