View in EDS HTML Full Text PDF Full Text

Co-Developing Programs and Their Proof of Correctness.

Saved in:
Bibliographic Details
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.
Description
ISSN:00010782
DOI:10.1145/3624728