Fribourg, Laurent

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the Eacsl, Paris, France, September 10-13, 2001 Proceedings