Formal Framework for Reasoning About the Precision of Dynamic Analysis

Author(s):  
Mila Dalla Preda ◽  
Roberto Giacobazzi ◽  
Niccoló Marastoni
2011 ◽  
Vol 131 (2) ◽  
pp. 166-170 ◽  
Author(s):  
Yoshihiro Nakata ◽  
Hiroshi Ishiguro ◽  
Katsuhiro Hirata

Author(s):  
Carlos Alberto Dutra Fraga Filho ◽  
Fernando César Meira Menandro ◽  
Rivânia Hermógenes Paulino de Romero ◽  
Juan Sérgio Romero Saenz

Sign in / Sign up

Export Citation Format

Share Document