Experience with an implementation of the

Yan Grunenberger, Martin Heusse, Franck Rousseau, Andrzej Duda

Browse the full CoNEXT paper archive.