tag : Maude

2 publications / Andrea Omicini
page_white_acrobat Prototyping A&A ReSpecT in Maude (2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
page_white_acrobat Prototyping A&A ReSpecT in Maude (2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
[ tag cloud  /  Andrea Omicini  /  publications ]