Preliminary summary: FM89 assessment of formal methods for trustworthy computer systems
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Case studies in systematic software development
Case studies in systematic software development
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
FM 89: assessment of formal methods for trustworthy computer systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
The Specification of Complex Systems
The Specification of Complex Systems
Formal Specifications as Reusable Frameworks
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Formal methods for the validation of automotive product configuration data
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
| Hi-index | 0.00 |