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

Pubblicazioni di ateneo

Found 1 results
Author Titolo [ Tipo(Desc)] Anno
Filters: Author is Pagnozzi, F.  [Clear All Filters]
Journal Article
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.