Structured analysis—formal design, using stream and object oriented formal specifications
Conference proceedings on Formal methods in software development
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Hi-index | 0.00 |