Cited By
View all- Millen J(2025)Formal Methods for the Orange BookEncyclopedia of Cryptography, Security and Privacy10.1007/978-3-030-71522-9_859(958-961)Online publication date: 8-Jan-2025
- Millen J(2011)Formal Methods for the Orange BookEncyclopedia of Cryptography and Security10.1007/978-1-4419-5906-5_859(495-498)Online publication date: 2011
- Berry D(2004)The Inevitable Pain of Software Development: Why There Is No Silver BulletRadical Innovations of Software and Systems Engineering in the Future10.1007/978-3-540-24626-8_4(50-74)Online publication date: 2004
- Show More Cited By