Special Issue on Program Verification, Automated Debugging and Symbolic Computation.

Tudor Jebelean Wei Li Dongming Wang

Published in: J. Symb. Comput. (2017)

Keyphrases

special issue
ai edam
international journal
ecml pkdd
semi automated
applied intelligence
special section
databases
fuzzy logic
future directions
computational intelligence
intelligent systems
fully automated
model based diagnosis
novice programmers
automated deduction