Αποτελέσματα αναζήτησης - Jhala
-
1
Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Άλλοι συγγραφείς: “…Jhala…”
Full text available on Research4Life (ACM)
Ηλεκτρονική πηγή Ηλ. βιβλίο