Sciweavers

ENTCS
2008
76views more  ENTCS 2008»
14 years 3 months ago
Symbolic and Abstract Interpretation for C/C++ Programs
and Abstract Interpretation for C/C++ Programs Helge L
Helge Löding, Jan Peleska