Search results for: S. Putot
Annales de Cardiologie et d'Ang�iologie > 2018 > 67 > 4 > 238-243
Archives of Cardiovascular Diseases Supplements > 2018 > 10 > 1 > 79
La Revue de M�decine Interne > 2016 > 37 > S2 > A104-A105
La Revue de M�decine Interne > 2016 > 37 > S2 > A153-A154
Lecture Notes in Computer Science > Computer Aided Verification > Program Analysis and Verification I > 462-475