Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
HCI pattern semantics in XML: a pragmatic approach
HSSE '05 Proceedings of the 2005 workshop on Human and social factors of software engineering
From a community of practice to a body of knowledge: a case study of the formal methods community
FM'11 Proceedings of the 17th international conference on Formal methods
| Hi-index | 0.00 |