Skip to content
Vinony

Agostino Cortesi

No biography available.

Works (4)

Cover of Advanced Computing and Systems for Security
Advanced Computing and Systems for Security
Cover of Hyper-lattice Algebraic Model for Data Warehousing
Hyper-lattice Algebraic Model for Data Warehousing
Cover of Static analysis
Static analysis
Cover of Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation