Book

Computer aided verification

by Kim Guldstrand Larsen