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)
a service of Schloss Dagstuhl - Leibniz Center for Informatics