Pascal André, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. Electronic Notes in Theoretical Computer Science, 263:5-30, 2010. [doi]
@article{AndreAAL10-0, title = {Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies}, author = {Pascal André and Gilles Ardourel and Christian Attiogbé and Arnaud Lanoix}, year = {2010}, doi = {10.1016/j.entcs.2010.05.002}, url = {http://dx.doi.org/10.1016/j.entcs.2010.05.002}, tags = {Pascal}, researchr = {https://researchr.org/publication/AndreAAL10-0}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {263}, pages = {5-30}, }