Provenance and formal methods: The case of digital image processing

  1. Sáenz-Adán, C. 1
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Libro:
Doctoral Consortium on Data Management Technologies, Applications and Software Technologies, DCDATASOFT 2015; in conjunction with the 4th International Conference on Data Management Technologies and Applications, DATA 2015 and the 10th International Joint conference on Software Technologies, ICSOFT 2015

ISBN:

Año de publicación: 2015

Páginas: 3-6

Tipo: Capítulo de Libro

SCOPUS: 2-s2.0-84971215734 GOOGLE SCHOLAR