20 Juni 2010

specification pattern


a very nice site about specification patterns to be verified using formal method :


Tidak ada komentar: