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 transformation verification, distributed algebraic systems, operational formal specification, by momo54 and 1 other person on Jun 21, 2007, 4:20 PM
