scientific article; zbMATH DE number 3833278

zbMATH Open0525.68005MaRDI QIDQ3038596FDOQ3038596

Richard Waldinger, Zohar Manna

Publication date: 1983

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

zbMATH Keywords

theorem-proving taskformal program-construction methodunification task

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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