Electronic Notes in Theoretical Computer Science, Volume 187

Volume 187, July 2007

Proceedings of the 11th Refinement Workshop (REFINE 2006)
maintained by Schloss Dagstuhl LZI at University of Trier