Refinement patterns for ASTDs

Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau. Refinement patterns for ASTDs. Formal Asp. Comput., 26(5):919-941, 2014. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: