Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

University of Texas at El Paso

Series

2011

CleanJava

Articles 1 - 1 of 1

Full-Text Articles in Engineering

Functional Verification Of Class Invariants In Cleanjava, Carmen Avila, Yoonsik Cheon May 2011