CV Accueil - Archive ouverte HAL

Publications

	Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies Pascal Andre , Gilles Ardourel , Christian Attiogbé , Arnaud Lanoix Electronic Notes in Theoretical Computer Science, 2010, 263, pp.5-30. ⟨10.1016/j.entcs.2010.05.002⟩ Article dans une revue hal-00505336v1

	Contract-based Verification of Kmelia Component Assemblies using Event-B Pascal André , Gilles Ardourel , Christian Attiogbe , Arnaud Lanoix FESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1 Communication dans un congrès hal-00483755v1