Defining Differentiation and Integration in Z.

Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony

Browse the full ICFEM paper archive.