Search results for: E. Goubault
Lecture Notes in Computer Science > Computer Aided Verification > Program Analysis and Verification I > 462-475
Applied Categorical Structures > 2007 > 15 > 4 > 387-414
Applied Categorical Structures > 2004 > 12 > 1 > 81-108