scientific article; zbMATH DE number 3692637

MaRDI QIDQ3886852zbMATH OpenFDO

Authors Zohar Manna

Publication date 1980

zbMATH Keywords

logics of programsmodal formalismreasoning about programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General topics in the theory of software (68N01) 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 Q3886852)