Applications of Formal Methods
Applications of Formal Methods
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Industrial Practice in Formal Methods: A Review
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Hi-index | 4.10 |