[Home] [CV] [Publications]

Publications

Plus dead 464d287f739b8ca6f1ee5f5933eb559dbaeef6a58e9d9c22acd9710ba53861bd Maude 2.0 Manual
Clavel, M. and DurĂ¡n, F. and Eker, S. and Lincoln, P. and Marti-Oliet, N. and Meseguer, J. and Talcott, C. - 2003