Skip to content
Vinony

Computer aided verification

by Nicolas Halbwachs, Doron Peled

Cover of Computer aided verification

No description available.

Enginyeria del softwareDisseny lògicCongressosLlenguatges formalsComputer software, verificationComputer softwareCongressesVerificationIntegrated circuitsVerificatieSoftware