Computer Aided VerificationPaul Jackson,Byron Cook,Tayssir Touili · First published 2011Open the Tome
Computer Aided VerificationTayssir Touili, Byron Cook, Paul Jackson · First published 2010Open the Tome
