Léon Gondelman. Un système de types pragmatique pour la vérification déductive des programmes. (A Pragmatic Type System for Deductive Software Verification). PhD thesis, University of Paris-Saclay, France, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.