Items where authors include "Didier, André"

[up] Up a level
Jump to: Article
Number of items: 1.

Article

Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Sampaio, Augusto, Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 et al. (5 more authors) (2019) Verified simulation for robotics. Science of Computer Programming. ISSN 0167-6423

This list was generated on Tue Apr 1 20:25:09 2025 BST.