Electronic Notes in Theoretical Computer Science, Volume 159

Volume 159, May 2006

Proceedings of the First IPM International Workshop on Foundations of Software Engineering (FSEN 2005)
maintained by Schloss Dagstuhl LZI at University of Trier