.:. Consultation > Par équipe de recherche > coloss-lina .:.

1 document

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies Andre P., Ardourel G., Attiogbe C., Lanoix A. ENTCS 263 (2010) 5 - 30 [hal-00505336 - version 1]