@inproceedings{BCR+9,
title = {Manuel de savoir-prouver \`a l'usage des roboteux et des distributeux },
author = {Balabonski, Thibaut and Courtieu, Pierre and Rieg, Lionel and Tixeuil, S\'ebastien and Urbain, Xavier},
year = {2019},
booktitle = {ALGOTEL 2019, June 4-7, Proceedings},
team = {SYNC, axe_FormalProofs, axe_SharedResources},
}
