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

Pubblicazioni di ateneo

Found 1 results
Author Titolo Tipo [ Anno(Desc)]
Filters: Author is Pagnozzi, F.  [Clear All Filters]
2009
Bodhuin, T.., F.. Pagnozzi, A.. Santone, M.. Tortorella, and M.L.. Villani, "Abstracting models from execution traces for performing formal verification", Communications in Computer and Information Science, vol. 59 CCIS, pp. 143-150, 2009.