Computer Aided Verification 20th International Conference Cav 2008 Princeton Nj Usa July 714 2008 Proceedings

Name: Computer Aided Verification 20th International Conference Cav 2008 Princeton Nj Usa July 714 2008 Proceedings
Author: Aarti Gupta

by Aarti Gupta

Cover of Computer Aided Verification 20th International Conference Cav 2008 Princeton Nj Usa July 714 2008 Proceedings

No description available.

Logic designArtificial intelligenceComputer scienceSoftware engineeringComputer softwareCongressesVerificationElectronic digital computersEvaluationInformatiqueIntegrated circuitsComputer software, verification