Login / Signup

Symbolic Trajectories in SECONDO: Pattern Matching and Rewriting.

Fabio ValdésMaria Luisa DamianiRalf Hartmut Güting
Published in: DASFAA (2) (2013)
Keyphrases