tag : A&A ReSpecT

1 pubblicazione
page_white_acrobat Prototyping A&A ReSpecT in Maude (2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
[ nuvola tag  /  pubblicazioni ]