scientific article; zbMATH DE number 546874

MaRDI QIDQ4286769zbMATH OpenFDO

Authors Wolfgang Peter Kowalk

Publication date 11 April 1994

zbMATH Keywords

semanticsverification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Reliability, testing and fault tolerance of networks and computer systems (68M15) General topics in the theory of software (68N01) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Programmverifikation
• scientific article; zbMATH DE number 548908
• Semantics and program verification
• scientific article; zbMATH DE number 53100
• scientific article; zbMATH DE number 4172362

Cited in

(3)

• Semantics and program verification
• scientific article; zbMATH DE number 548908 (Why is no real title available?)
• Programmverifikation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4286769)