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

A tableau-based procedure for model checking programs

Santone, A., and G. Vaglini, "A tableau-based procedure for model checking programs", Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings of the 26th Annual International: IEEE, pp. 723–728, 2002.