www.appsem.org

<p>Original location: <a href="http://www.tcs.informatik.uni-muenchen.de/~mhofmann/appsem2/">http://www.tcs.informatik.uni-muenchen.de/~mhofmann/appsem2/</a> </p>