A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.
číst celé
A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.
schovat popis
Recenze