Sciweavers

78
Voted
ENTCS
2008
76views more  ENTCS 2008»
15 years 15 days ago
Symbolic and Abstract Interpretation for C/C++ Programs
and Abstract Interpretation for C/C++ Programs Helge L
Helge Löding, Jan Peleska