Pedro de Carvalho Gomes. Automatic Extraction of Program Models for Formal Software Verification. PhD thesis, Royal Institute of Technology, Stockholm, Sweden, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.