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

Pubblicazioni di ateneo

Found 1 results
Author [ Titolo(Desc)] Tipo Anno
Filters: Author is Pagnozzi, F.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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.