Cleanjava: A formal notation for functional program verification (0)

by Y Cheon, C Yeep, M Vela
Venue:in ITNG 2011: 8th International Conference on Information Technology: New Generations, April 11-13, 2011, Las Vegas, NV. IEEE Computer Society