David Come
According to our database1,
David Come
authored at least 3 papers
between 2018 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
0
1
2
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
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, 2019
2018
Improving code quality in ROS packages using a temporal extension of first-order logic.
Encycl. Semantic Comput. Robotic Intell., 2018
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018