buono
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Agostino Cortesi

Springer Nature

There is currently no description available

More by Agostino Cortesi →

Open in the buono app Get it on the App Store

buono · Browse the lists