Agostino Cortesi profile picture

Agostino Cortesi

Is this your author profile? Create an account to customize it!

Stand Alone

Static analysis
Computer Information Systems and Industrial Management
Hyper-lattice Algebraic Model for Data Warehousing
Hyper-lattice Algebraic Model for Data Warehousing
Challenges of Software Verification
Challenges of Software Verification
Challenges of Software Verification
Challenges of Software Verification
Intelligent Systems - Emerging Trends and Challenges in Deep Neuro-Fuzzy Models and Explainable Artificial Intelligence