The Birth of Model Checking [chapter]

Edmund M. Clarke
Lecture Notes in Computer Science  
doi:10.1007/978-3-540-69850-0_1 fatcat:s4usoztjj5dv5mcevfogv3sf6i