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)

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]

Abstract

Abstract is missing.