Rigorous verification techniques for PIC codes


Advisor(s):
Ricci, Paolo
Riva, Fabio
Year:
2015
Keywords:
Laboratories:


Note: The status of this file is: Involved Laboratories Only


 Record created 2016-02-06, last modified 2018-09-13

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)