Logic & Proofs for Cyber-Physical Systems [chapter]

André Platzer
2016 Lecture Notes in Computer Science  
doi:10.1007/978-3-319-40229-1_3 fatcat:wz6amgaksjfufkqhydh4rjxjba