TY  - GEN
T1  - Static analysis of software the abstract interpretation
A2  - Boulanger, Jean-Louis.
LA  - English
PP  - Hoboken, N.J.
PB  - Wiley
YR  - 2012
UL  - https://colectivo.uloyola.es/Record/ELB178712
OP  - 331
CN  - QA76.76.T48 S75 2012
SN  - 9781118602843 (electronic bk.)
KW  - Computer software : Testing.
KW  - Debugging in computer science.
KW  - Computer software : Quality control.
KW  - Electronic books.
ER  -