toggle visibility Search & Display Options

Select All    Deselect All
 | 
Citations
 | 
   print
T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci. "SyLVaaS: System Level Formal Verification as a Service." Fundamenta Informaticae 149, no. 1-2 (2016): 101–132. DOI: 10.3233/FI-2016-1444.
toggle visibility
Select All    Deselect All
 | 
Citations
 | 
   print