Skip to content
Vinony

Verification, Model Checking, and Abstract Interpretation

by Hutchison, David - undifferentiated

Cover of Verification, Model Checking, and Abstract Interpretation

No description available.

Logic designComputer scienceSoftware engineeringComputer programsCongressesVerification