Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings
by Oded Maler
Logic designArtificial intelligenceComputer scienceSoftware engineeringComputer software, verificationIntegrated circuitsComputer softwareCongresses
Writing a summary for young readers…
For young readers
Book data: Open Library