Cesar Yeep

Publication Activity (10 Years)

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

Publications

Yoonsik Cheon, Cesar Yeep, Melisa Vela
CleanJava: A Formal Notation for Functional Program Verification. ITNG (2011)
Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep
Runtime Constraint Checking Approaches for OCL, A Critical Comparison. SEKE (2010)