tag : rewriting logic
1 publication
Prototyping A&A ReSpecT in Maude (paper in proceedings, 2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli Prototyping A&A ReSpecT in Maude (paper in proceedings, 2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli