From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Co-Developing Programs and Their Proof of Correctness.

R. Chapman, C. Dross, S. Matthews, и Y. Moy. Commun. ACM, 67 (3): 84-94 (марта 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Crucible Tools for Test Generation and Animation of Alloy Models.T. Wilson, и S. Matthews. ABZ, том 14010 из Lecture Notes in Computer Science, стр. 116-123. Springer, (2023)Co-Developing Programs and Their Proof of Correctness.R. Chapman, C. Dross, S. Matthews, и Y. Moy. Commun. ACM, 67 (3): 84-94 (марта 2024)Nondeterministic abstract data types and their implementation.S. Matthews. University of Hertfordshire, UK, (1990)British Library, EThOS.The Specification and Design of a Nondeterministic Data Structure Using CCS.S. Matthews. Specification and Verification of Concurrent Systems, стр. 500-525. Springer, (1988)