@misc{indiciae674e20447e4e, title = {Verifying a platform for digital imaging: a multi-tool strategy}, author = {Jónathan Heras and Gadea Mata and Ana Romero and Julio Rubio and Rubén Sáenz}, year = {2013}, url = {https://arxiv.org/abs/1303.1420}, note = {Source identifier: 1303.1420} }