A blue social bookmark and publication sharing system.
publications
Abdessamad Imine and Pascal Molli and Gérald Oster and Michaël Rusinowitch Tenth International Conference on Algebraic Methodology and Software Technology - AMAST 2004, Stirling, Scotland, United Kingdom, volume3116ofLecture Notes in Computer Science, Springer, July2004. to specification, formal algebraic transformation operational verification, distributed systems, by momo54 and 1 other person on Jun 21, 2007, 4:20 PM
