Вы здесь

Duran F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М 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