Sciweavers

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