Tailoring Programs to Models of Program Behavior

DOI10.1147/RD.193.0244MaRDI QIDQ4057589zbMATH OpenOpenAlexFDO

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)