A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.
prečítať celé
A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.
Skryť popis
Recenzie