Computer Aided Verification
Kousha Etessami, Sriram K. Rajamani
Computer Aided Verification - 2005
978-3-540-31686-2
Logic Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Computer Science
Computer Aided Verification - 2005
978-3-540-31686-2
Logic Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Computer Science