Carmen Avila

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 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: 403-408

	2008
1		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: 403-408

Coauthor Index