Electronic Notes in Theoretical Computer Science, Volume 187

Refine list

showing all ?? records

Volume 187, July 2007

Proceedings of the 11th Refinement Workshop (REFINE 2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics