tag : A&A ReSpecT
1 publication / Mirko Viroli
Prototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07) — Matteo Casadei, Andrea Omicini, Mirko Viroli Prototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07) — Matteo Casadei, Andrea Omicini, Mirko Viroli
0000-0003-2702-5702