scientific article; zbMATH DE number 3615851

zbMATH Open0396.68001MaRDI QIDQ4179798

Bruno Buchberger

Publication date: 1976

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

zbMATH Keywords

Program Verification

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

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