Applying VDM to large developments
Conference proceedings on Formal methods in software development
Case Study: Darlington Nuclear Generating Station
IEEE Software
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
Communications of the ACM
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Science of Computer Programming
| Hi-index | 0.02 |