Login / Signup

Program algebra with unit instruction operators.

Alban Ponse
Published in: J. Log. Algebraic Methods Program. (2002)
Keyphrases