09 Oktober 2008

what is model checking?

courtesy of Edmund M. Clarke


it's a cool DOF, isn't it?

Tidak ada komentar: