ReSpecT Tags

ReSpecT Tags

Environment

2 docs / Tag “Maude”  /  ReSpecT 

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

Tags:
Created by Andrea Omicini on 10/08/2021 17:06

ReSpecT Resources

Contacts

Giovanni Ciatto email  |  Enrico Denti email  |  Stefano Mariani email  |  Andrea Omicini email

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY