Tag Cloud

1 document / tag : A&A ReSpecT / A&A

page_white_acrobat

Prototyping A&A ReSpecT in Maude (paper in proceedings, 2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli

[ tag cloud / A&A ]

A&A

home • publications • talks • theses • tags • people • contacts • related

A&A / Related

CArtAgO • simpA • simpAL • SODA • TuCSoN

A&A / Contacts

Alessandro Ricci • Andrea Omicini • Mirko Viroli