David Come. Analyse de la qualité de code via une approche logique et application à la robotique. (Analysis of source code quality through a logic-based technique and application to robotics). PhD thesis, University of Toulouse, France, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.