Automated Technology for Verification and Analysis
Madhavan Mukund, Supratik Chakraborty
Automated Technology for Verification and Analysis - 2012
978-3-642-33386-6
Computer Communication Networks
Logics and Meanings of Programs
Programming Techniques
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Computer Science
Automated Technology for Verification and Analysis - 2012
978-3-642-33386-6
Computer Communication Networks
Logics and Meanings of Programs
Programming Techniques
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Computer Science