asia jcis-2012-ruo ando
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
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