 | 2009 |
|---|
| 4 |       | Francisco Durán,
Manuel Roldán,
Emilie Balland,
Mark van den Brand,
Steven Eker,
Karl Trygve Kalleberg,
Lennart C. L. Kats,
Pierre-Etienne Moreau,
Ruslan Schevchenko,
Eelco Visser:
The Second Rewrite Engines Competition.
Electr. Notes Theor. Comput. Sci. 238(3): 281-291 (2009) |
| 3 | | Manuel Roldán,
Francisco Durán,
Antonio Vallecillo:
Invariant-driven specifications in Maude.
Sci. Comput. Program. 74(10): 812-835 (2009) |
| 2005 |
|---|
| 2 | | Francisco Durán,
Manuel Roldán,
Antonio Vallecillo:
Using Maude to write and execute ODP information viewpoint specifications.
Computer Standards & Interfaces 27(6): 597-620 (2005) |
| 1 | | Francisco Durán,
Manuel Roldán,
Antonio Vallecillo:
Invariant-Driven Strategies for Maude.
Electr. Notes Theor. Comput. Sci. 124(2): 17-28 (2005) |
