@article{dusorbier:hal-00517279, TITLE = {{Exp{\'e}rimentation de composants de preuve pour le d{\'e}veloppement de composants logiciels embarqu{\'e}s}}, AUTHOR = {Du Sorbier, Arnaud and de Belloy, Stephane and Turpin, Florian and Dhaussy, Philippe}, URL = {https://hal.science/hal-00517279}, JOURNAL = {{G{\'e}nie logiciel : le magazine de l'ing{\'e}nierie du logiciel et des syst{\`e}mes}}, PUBLISHER = {{G{\'e}nie industriel multim{\'e}dia}}, VOLUME = {85}, PAGES = {xx}, YEAR = {2008}, MONTH = Jun, HAL_ID = {hal-00517279}, HAL_VERSION = {v1}, }