Book

Concise Guide to Software Verification

by Marieke Huisman, Anton Wijs