Formalising and Verifying Reference Attribute Grammars in Coq
Max Schäfer‚ Torbjörn Ekman and Oege de Moor
Book Title
European Symposium on Programming (ESOP)
Editor
Giuseppe Castagna
Pages
143–159
Publisher
Springer−Verlag
Year
2009
Max Schäfer‚ Torbjörn Ekman and Oege de Moor