Tailoring Programs to Models of Program Behavior

DOI10.1147/RD.193.0244zbMATH Open0302.68054OpenAlexW2077629537MaRDI QIDQ4057589FDOQ4057589

Authors: Domenico Ferrari 

Publication date: 1975

Published in: IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d92cc9ad947fc5af691407d38dc65fe2bd2b0999

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

This page was built for publication: Tailoring Programs to Models of Program Behavior

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