Login / Signup

Refinement patterns for ASTDs.

Marc FrappierFrédéric GervaisRégine LaleauJérémy Milhau
Published in: Formal Aspects Comput. (2014)
Keyphrases