@misc{Sif3,
title = { Testing System Intelligence },
author = {Sifakis, Joseph},
year = {2023},
eprint = {2305.11472},
team = {NULL},
archiveprefix = {arXiv},
primaryclass = {cs.AI},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 52134830