Publication:3997545

zbMath0744.68005MaRDI QIDQ3997545

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

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