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