scientific article; zbMATH DE number 3831283

MaRDI QIDQ3036693zbMATH OpenFDO

Authors Irène Guessarian

Publication date 1983

zbMATH Keywords

algebraic semanticsprogram schemesclasses of interpretationscomplete proof systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Equational classes, universal algebra in model theory (03C05) Abstract data types; algebraic specification (68Q65)

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