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

Local model checking of Java bytecode

Santone, A., and G. Vaglini, "Local model checking of Java bytecode", Proceedings of the 14th international conference on Software engineering and knowledge engineering: ACM, pp. 383–389, 2002.