scientific article; zbMATH DE number 548908

zbMATH Open0819.68075MaRDI QIDQ4286789FDOQ4286789

Authors: Bernhard Hohlfeld, Werner Struckmann 

Publication date: 12 April 1994

Title of this publication is not available (Why is that?)

Recommendations

• Programmverifikation
• Verification of sequential and concurrent programs
• scientific article; zbMATH DE number 44976
• scientific article; zbMATH DE number 53100
• scientific article; zbMATH DE number 546874

zbMATH Keywords

program verificationHoare calculusparallel program

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (4)

• Semantics and program verification
• Title not available (Why is that?)
• Panellist position statement: some industrial experience with program verification
• Title not available (Why is that?)

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 Q4286789)