3 works on record
Software Engineering
Handbook of Software Engineering
Automated Technology for Verification and Analysis