Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation Read more about Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Cyprus Libraries Consortium (CLC)