Login / Signup
INTASAR Program.
María José González Bonilla
Beatriz Gómez Miguel
Juan Manuel Cuerda Muñoz
Juan Ramón Larrañaga Sudupe
Marcos García Rodríguez
Published in:
IGARSS (2) (2009)
Keyphrases
</>
lower bound
program execution
computer programs
database
databases
case study
bayesian networks
special case
test cases
automatic programming
control program