DMCA

Towards Verifying Declarative . . . (2010)

by Yuxin Deng , Stéphane Grumbach , Jean-françois Monin