Three Perspectives in Formal Engineering.

John A. McDermid, Andy Galloway

Browse the full ICFEM paper archive.