Exploiting Formality in Software Engineering
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Proving consistency of VDM models using HOL
Proceedings of the 2010 ACM Symposium on Applied Computing
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
A Deterministic Interpreter Simulating A Distributed real time system using VDM
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
| Hi-index | 0.00 |