![]() | ![]() |
| 2010 | ||
|---|---|---|
| 2 | Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri: Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT 2010: 58-65 | |
| 2008 | ||
| 1 | Stefano Soffia: Definition and Implementation of a Points-To Analysis for C-like Languages CoRR abs/0810.0753: (2008) | |
| 1 | Franco Fummi | [2] |
| 2 | Giuseppe Di Guglielmo | [2] |
| 3 | Graziano Pravadelli | [2] |
| 4 | Marco Roveri | [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page