A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.
przeczytaj całość
A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.
ukryj opis
Recenzja