tag : Proto

1 publication / Mirko Viroli
page_white_acrobat Core Operational Semantics of Proto (SAC 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei
[ tag cloud  /  Mirko Viroli  /  publications ]