Skip to content
Vinony

Verification, Model Checking, and Abstract Interpretation

by Agostino Cortesi

Cover of Verification, Model Checking, and Abstract Interpretation

No description available.

CongressesVerificationComputer programs
Verification, Model Checking, and Abstract Interpretation by Agostino Cortesi — book · Vinony