Agostino Cortesi
· 10 obras en el catálogo
Obras

Static analysis

Advanced Computing and Systems for Security

Static Analysis

Hyper-lattice Algebraic Model for Data Warehousing
Computer Information Systems - Analysis and Technologies
Applied Computing for Software and Smart Systems
Challenges of Software Verification
Space Data Management
Smart Systems and Wireless Communication
