bibtex

@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},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3886033