Science and Substance: A Challenge to Software Engineers
IEEE Software
Experience with Formal Methods in Critical Systems
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
A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository
Science of Computer Programming
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
RAFFS: Model Checking a Robust Abstract Flash File Store
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
A Novel Formal Agent-Based Simulation Modeling Framework of an AIDS Complex Adaptive System
International Journal of Agent Technologies and Systems
| Hi-index | 0.00 |