A genetically modified Hoare logic
| Autor: | Bernot, G., Comet, J.-P., Khalis, Z., Richard, A., Roux, O. |
|---|---|
| Zdroj: | In Theoretical Computer Science 18 April 2019 765:145-157 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Bernot, G., Comet, J.-P., Khalis, Z., Richard, A., Roux, O. |
|---|---|
| Zdroj: | In Theoretical Computer Science 18 April 2019 765:145-157 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect