 | Monter d'un niveau |
Merlo, E., Pinciroli, C., Panerati, J., Famelis, M., & Beltrame, G. (mai 2022). Automated extraction and checking of property models from source code for robot swarms [Communication écrite]. 4th IEEE/ACM International Workshop on Robotics Software Engineering (RoSE 2022), Pittsburgh, PA, USA. Lien externe
