Co-Developing Programs and Their Proof of Correctness.
Saved in:
| Title: | Co-Developing Programs and Their Proof of Correctness. |
|---|---|
| Authors: | Chapman, Roderick1, rodchap@amazon.co.uk, Dross, Claire2, Matthews, Stuart3, Moy, Yannick2 |
| Source: | Communications of the ACM; Mar2024, Vol. 67 Issue 3, p84-94, 11p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
