Guillermo Flores

Publication Activity (10 Years)

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

Publications

Carmen Avila, Guillermo Flores, Yoonsik Cheon
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. Software Engineering Research and Practice (2008)