Artigo
Static analysis by abstract interpretation: application to the detection of heap overflows
2007; Springer Nature; Volume: 4; Issue: 1 Linguagem: Inglês
10.1007/s11416-007-0063-z
ISSN1772-9904
AutoresXavier Allamigeon, Charles Hymans,
Tópico(s)Formal Methods in Verification
Referência(s)