Publication:4871703

From MaRDI portal
Revision as of 05:32, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath0851.68030MaRDI QIDQ4871703

Yves Bertot

Publication date: 2 April 1996


zbMATH Keywords

program verification; marking function


Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

68-02: Research exposition (monographs, survey articles) pertaining to computer science


Related Items

Origin tracking



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4871703&oldid=19234728"
Powered by MediaWiki