"Automatic Synthesis of Parsers and Validation of Bitstreams Within the ..."

Christophe Lucarz, Jonathan Piat, Marco Mattavelli (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics