Transformation methods and tools for design of efficient and reliable programs

DOI10.1007/BF01132778zbMath0939.68552OpenAlexW2045201425MaRDI QIDQ1895007

V. N. Kas'yanov

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

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

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