Login / Signup
Agustin D. Delgado-Muñoz
Publication Activity (10 Years)
Years Active: 2011-2011
Publications (10 Years): 0
</>
Publications
</>
Ricardo Peña
,
Agustin D. Delgado-Muñoz
Size Invariant and Ranking Function Synthesis in a Functional Language.
WFLP
(2011)