Computer Aided Verification 22nd International Conference Cav 2010 Edinburgh Uk July 1519 2010 Proceedings

Name: Computer Aided Verification 22nd International Conference Cav 2010 Edinburgh Uk July 1519 2010 Proceedings
Author: Paul Jackson

by Paul Jackson

Cover of Computer Aided Verification 22nd International Conference Cav 2010 Edinburgh Uk July 1519 2010 Proceedings

No description available.

Logic designComputer networksSoftware engineeringComputer scienceArtificial intelligenceComputer software, verificationElectronic digital computers, evaluation