Automatically Refining Partial Specifications for Program Verification.

Shengchao Qin Chenguang Luo Wei-Ngan Chin Guanhua He

Published in: FM (2011)

Keyphrases

automatically generated
neural network
website
semi automatically
computer vision
multimedia
three dimensional
face recognition