Login / Signup

An Isabelle/HOL-based model of stratego-like traversal strategies.

Markus KaiserRalf Lämmel
Published in: PPDP (2009)
Keyphrases