Mathematical theory of partial correctness
Year: 1971
Type: book-chapter
Source: Lecture notes in mathematics
DOI: 10.1007/bfb0059701
Author: Zohar Manna
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4254106723