Maude 2 Primer and Examples

From The Maude System
Jump to: navigation, search

A primer written for Maude 2.0.1 (but mostly applicable for later versions too) is available at PDF format. The examples are available as a tarred gzipped archive.