Login / Signup

Discovery of Invariant Equalities in Programs over Data Fields.

Alexander A. LetichevskyM. S. Lvov
Published in: Appl. Algebra Eng. Commun. Comput. (1993)
Keyphrases