The blue social bookmark and publication sharing system.
Log in with your username.
I've lost my password.
Log in with your OpenID-Provider.
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe. Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 118-138. Springer, (2012)
BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany.