Analysis of the external behavior of binary programs and selection schemas on the basis of local equivalent transformations

Publication date: 26 April 1999

Published in: Automation and Remote Control (Search for Journal in Brave)

General topics in the theory of software (68N01)

This page was built for publication: Analysis of the external behavior of binary programs and selection schemas on the basis of local equivalent transformations

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