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

A local approach for temporal model checking of Java bytecode

Santone, A., and G. Vaglini, "A local approach for temporal model checking of Java bytecode", Journal of Computer and System Sciences, vol. 70, no. 2: Elsevier, pp. 258–281, 2005.