Mike DeRiso. Working Session 6: Transfer of Formal Engineering Methods. In Linda Levine, editor, Diffusion, Transfer and Implementation of Information Technology, Proceedings of the IFIP TC8 Working Conference on Diffusion, Transfer and Implementation of Information Technology, Pittsburgh, PA, USA, 11-13 October 1993. Volume A-45 of IFIP Transactions, pages 425-428, Elsevier, 1993.
Abstract is missing.