Cited by

Cited by 1 other publications

Pombo, Olga
2010.  In Programs, Proofs, Processes [Lecture Notes in Computer Science, 6158],  pp. 352 ff. Crossref logo

This list is based on CrossRef data as of 04 december 2022. Please note that it may not be complete. Sources presented here have been supplied by the respective publishers. Any errors therein should be reported to them.