Analysis of programs and binary relations

DOI10.1016/S0041-5553(83)80057-3MaRDI QIDQ3334055zbMATH OpenFDO

Authors S. A. Abramov

Publication date 1983

Published in USSR Computational Mathematics and Mathematical Physics (Search for Journal in Brave)

zbMATH Keywords

binary relationanalysis of programs

Mathematics Subject Classification ID

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

Cited in

(3)

• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• Analysis of Boolean Programs
• Continuity analysis of programs

This page was built for publication: Analysis of programs and binary relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3334055)