View in EDS HTML Full Text PDF Full Text

Three Early Formal Approaches to the Verification of Concurrent Programs.

Saved in:

Bibliographic Details
Title:	Three Early Formal Approaches to the Verification of Concurrent Programs.
Authors:	Jones, Cliff B.¹, cliff.jones@ncl.ac.uk
Source:	Minds & Machines; 2024 Suppl 1, Vol. 34, p73-92, 20p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	09246495
DOI:	10.1007/s11023-023-09621-5