Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
| Autor: | André, Pascal, Ardourel, Gilles, Attiogbé, Christian, Lanoix, Arnaud |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 3 June 2010 263:5-30 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect