Assertion-Based Validation of Modified Programs.

Bogdan Korel Qi Zhang Li Tao

Published in: ICST (2009)

Keyphrases

decision making
databases
artificial intelligence
website
multiresolution
automatic programming
program execution
prolog programs