CleanJava: A Formal Notation for Functional Program Verification.

Yoonsik Cheon Cesar Yeep Melisa Vela

Published in: ITNG (2011)

Keyphrases

visual languages
formal model
data sets
computer vision
information systems
feature selection
bayesian networks
wide range
object oriented
formal specification
formal language
functional properties