Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Engineering
The Cleanjava Language For Functional Program Verification, Yoonsik Cheon, Cesar Yeep, Melisa Vela
The Cleanjava Language For Functional Program Verification, Yoonsik Cheon, Cesar Yeep, Melisa Vela
Departmental Technical Reports (CS)
Functional Verification Of Class Invariants In Cleanjava, Carmen Avila, Yoonsik Cheon
Functional Verification Of Class Invariants In Cleanjava, Carmen Avila, Yoonsik Cheon
Departmental Technical Reports (CS)