Logic schemes of programs and algorithms

MaRDI QIDQ1154244zbMATH OpenFDO

Authors N. A. Krinitskij

Publication date 1980

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

transformations

Mathematics Subject Classification ID

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

This page was built for publication: Logic schemes of programs and algorithms

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