asia jcis-2012-ruo ando
Post on 30-Jun-2015
148 Views
Preview:
DESCRIPTION
FoL (First order Logic) theorem proving is applied for automated analysis and diagnosis of flaw about configuration of large scale open source code.
TRANSCRIPT
top related