Verifying a plaftorm for digital imaging: a multi-tool strategy

Jonathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz

    Research output: Contribution to conferencePaper

    1 Citation (Scopus)
    Filter
    Conference contribution

    Search results

    • 2013

      Verifying a plaftorm for digital imaging: a multi-tool strategy

      Heras, J., Mata, G., Romero, A., Rubio, J. & Sáenz, R., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer , p. 66-81 16 p. (Lecture notes in computer science; vol. 7961).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

      1 Citation (Scopus)