The MCC Formal Methods Transition Study: Technology Transfer for Complex Information Technology and Processes - researchr publication

researchr

You are not signed in
Sign in
Sign up

Susan L. Gerhart. The MCC Formal Methods Transition Study: Technology Transfer for Complex Information Technology and Processes. 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 249-255, Elsevier, 1993.

Abstract is missing.

runs on WebDSL