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

Digital Commons Network™

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

PDF

University of Texas at El Paso

Departmental Technical Reports (CS)

Series

2011

Functional program verification

Articles 1 - 2 of 2

Full-Text Articles in Entire DC Network

The Cleanjava Language For Functional Program Verification, Yoonsik Cheon, Cesar Yeep, Melisa Vela Aug 2011

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