Sciweavers

12
Voted
IJCM
2011
53views more  IJCM 2011»
14 years 6 months ago
An abstract interpretation-based model for safety semantics
Isabella Mastroeni, Roberto Giacobazzi