A Problem-Reduction Approach to Proving Simulation Between Programs

DOI10.1109/TSE.1976.233535MaRDI QIDQ4118800zbMATH OpenOpenAlexFDO

Authors Alexander Birman, William H. Jun. Joyner

Publication date 1976

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tse.1976.233535

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

This page was built for publication: A Problem-Reduction Approach to Proving Simulation Between Programs

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