Subdivided loops upon arrays
From MaRDI portal
Publication:1142575
zbMATH Open0439.68027MaRDI QIDQ1142575FDOQ1142575
Authors: R. M. Nuriev
Publication date: 1979
Published in: Programming and Computer Software (Search for Journal in Brave)
General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: Subdivided loops upon arrays
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1142575)