Author Search Results :: UTM Library Massive Scholar Tracking

1

Formalising and Verifying Reference Attribute Grammars in Coq. by Schäfer, M, Ekman, T, Moor, O

Published 2009
Other Authors: “…Castagna, G…”

Conference item