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]
@phdthesis{hal-12854,
title = {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)},
author = {David Come},
year = {2019},
url = {https://tel.archives-ouvertes.fr/tel-02367673},
researchr = {https://researchr.org/publication/hal-12854},
cites = {0},
citedby = {0},
school = {University of Toulouse, France},
}