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