tag : rewriting logic

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