scientific article; zbMATH DE number 3827191

zbMATH Open0522.68031MaRDI QIDQ3673091FDOQ3673091

Raymond Boute

Publication date: 1984

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

zbMATH Keywords

program correctnessdata flow structure

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

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