Skip to main content

and
  1. Chapter and Conference Paper

    Construction and reuse of formal program developments

    J. Cazin, P. Cros, R. Jacquart, M. Lemoine, P. Michel in TAPSOFT '91 (1991)