All about maude - a high-performance logical framework

Descrição: Maude is a language and system based on rewriting logic. In this comprehensive account, youll discover how Maude an... Veja mais