Transformation methods and tools for design of efficient and reliable programs

DOI10.1007/BF01132778zbMATH Open0939.68552OpenAlexW2045201425MaRDI QIDQ1895007FDOQ1895007

Authors: Victor N. Kasyanov 

Publication date: 6 August 1995

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01132778

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Mixed computation: potential applications and problems for study

This page was built for publication: Transformation methods and tools for design of efficient and reliable programs

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