Provenance and formal methods: The case of digital image processing
-
1
Universidad de La Rioja
info
Book:
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:
Year of publication: 2015
Pages: 3-6
Type: Book chapter