Book

Computer Aided Verification

by Rupak Majumdar, Viktor Kunčak