Email Address * *
Name
Subject *
Message * Automated Theorem Proving Automated Reasoning, Burrows-Abadi-Needham Logic, Chaff Algorithm, Computer-Assisted Proof, Concolic Testing, Davis-Pu - 1230599614 - 9781230599618