Book

Model Checking Software

by Owolabi Legunsen, Grigore Rosu