Renata Kaufman

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Renata Kaufman, Augusto Sampaio, Alexandre Mota
Formalisation and Analysis of Objects as CSP Processes. SBMF (2009)