skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Abstract Interpretation and Model Checking for Checking Secure Information Flow

De Francesco, N., A. Santone, and L. Tesei, "Abstract Interpretation and Model Checking for Checking Secure Information Flow", Fundamenta Informaticae, vol. 55, pp. 1–17, 2003.