Towards Maude 2.0
M. Clave, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J.F. QuesadaVolume:
36
Year:
2000
Language:
english
Pages:
22
DOI:
10.1016/s1571-0661(05)80137-9
File:
PDF, 185 KB
english, 2000