tag : rewriting logic

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