Provenance and formal methods: The case of digital image processing
-
1
Universidad de La Rioja
info
Liburua:
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:
Argitalpen urtea: 2015
Orrialdeak: 3-6
Mota: Liburuko kapitulua