francesco logozzo
Static Analysis
Print on DemandThis book constitutes the thoroughly refereed proceedings of the 20th International Symposium on ...
Verification, Model Checking, and Abstract Interpretation
Print on Demandth This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Check...
- 1