Sciweavers

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