Revision history of "File:Talk$Maude-padl10-slides.pdf"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 02:20, 22 July 2014Kquine (Talk | contribs). . (109 bytes) (+109). . (Narciso Martí-Oliet An Introduction to Maude and some of its applications - Invited talk given at PADL 2010)