Jaques, Y.; Anibaldi, S.; Celli, F.; Subirats, I.; Stellato, A.; Keizer, J. Proof and Trust in the OpenAGRIS Implementation. DCMI Proceedings 2012, 33-37.