@article{Bou4,
title = { {Construire des logiciels fiables} },
author = {Boulm\'e, Sylvain},
month = {Jan},
year = {2024},
journal = {{Interstices}},
publisher = {{INRIA}},
team = {axe_FormalProofs, PACSS},
hal_id = {hal-04438448},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 33609256
|
|
|