Login / Signup

Scheme inclusion verification algorithm in algebraic model of programs with constants.

Dmitry M. Rusakov
Published in: Program. Comput. Softw. (2007)
Keyphrases