Co-Developing Programs and Their Proof of Correctness.
| Autor: | Chapman, Roderick1 (AUTHOR) rodchap@amazon.co.uk, Dross, Claire2 (AUTHOR), Matthews, Stuart3 (AUTHOR), Moy, Yannick2 (AUTHOR) |
|---|---|
| Zdroj: | Communications of the ACM. Mar2024, Vol. 67 Issue 3, p84-94. 11p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|