@Article{ CLAVEL_DURAN_EKER_LINCOLN_MESEGUER_QUESADA:297-318,

author = { M. CLAVEL and F. DURAN and S. EKER and P. LINCOLN and J. MESEGUER and JOSE FRANCISCO QUESADA MORENO } ,

title = { TOWARDS MAUDE 2.0 },

journal = { ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE },

year = { 2000 },

issn = { 1571-0661 },

pages = { 297-318 },

}