Sciweavers

BIRTHDAY
2006
Springer

From OBJ to ML to Coq

14 years 4 months ago
From OBJ to ML to Coq
Jacek Chrzaszcz, Jean-Pierre Jouannaud
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where BIRTHDAY
Authors Jacek Chrzaszcz, Jean-Pierre Jouannaud
Comments (0)