Book

Computer Aided Verification

by Werner Damm, Holger Hermanns