Login / Signup

Algebraic Foundations for Specification Refinements.

Pablo F. CastroNazareno Aguirre
Published in: SBMF (2016)
Keyphrases