Daniele Grasso. Testing and verification methods for safety critical systems. PhD thesis, University of Florence, Italy, 2014. [doi]
@phdthesis{it-2357, title = {Testing and verification methods for safety critical systems}, author = {Daniele Grasso}, year = {2014}, url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BVE0780321}, researchr = {https://researchr.org/publication/it-2357}, cites = {0}, citedby = {0}, school = {University of Florence, Italy}, }