A
Agostino Cortesi
9 works on record
Works

Static analysis

Advanced Computing and Systems for Security

Hyper-lattice Algebraic Model for Data Warehousing

Verification, Model Checking, and Abstract Interpretation
Computer Information Systems - Analysis and Technologies
Computer Information Systems - Analysis and Technologies
Applied Computing for Software and Smart Systems
Applied Computing for Software and Smart Systems
Challenges of Software Verification
Challenges of Software Verification
Space Data Management
Space Data Management
Smart Systems and Wireless Communication
Smart Systems and Wireless Communication