Publication:3997545

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


zbMath0744.68005MaRDI QIDQ3997545

Roman Rudziński, Stefan Sokołowski, Ryszard Kubiak

Publication date: 17 September 1992


zbMATH Keywords

verification; correctness of programs; specification of programs


Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

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

68N01: General topics in the theory of software





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