Clavel M.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
М	All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic	2007	Clavel M., Duran F., Eker S., Lincoln P., Marti-Oliet N., Meseguer J., Talcott C.	Lecture Notes in Computer Science				30.10.2007
СТ	Maude as a Formal Meta-tool	1999	Clavel M., Duran F., Eker S., Meseguer J., Stehr M. -O.				Lecture Notes in Computer Science	26.10.1999