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

Formula-based abstractions and symbolic execution for model checking programs

Santone, A., and G. Vaglini, "Formula-based abstractions and symbolic execution for model checking programs", Microprocessors and Microsystems, vol. 28, no. 2: Elsevier, pp. 69–76, 2004.