2 books • 3 series
Automated Technology for Verification and Analysis (Lecture Notes in Computer Science, #3707) (Programming and Software Engineering, #3707)
Software Reliability Methods (Texts in Computer Science)