Ivannikov Institute for System Programming of the RAS


Models and algorithms in the equivalence-checking problem for sequential programs.

Authors

Zakharov V.A.

Research Group

Theoretical Computer Science

All publications during 2012 All publications