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]

Authors

David Come

This author has not been identified. Look up 'David Come' in Google