Melisa Vela

Publication Activity (10 Years)

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

Publications

Yoonsik Cheon, Cesar Yeep, Melisa Vela
CleanJava: A Formal Notation for Functional Program Verification. ITNG (2011)