Transferring Formal Techniques to Industry

Roger Duke, Gordon A. Rose, Graeme Smith. Transferring Formal Techniques to Industry. In Juan Quemada, José A. Mañas, Enrique Vázquez, editors, Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 90, Madrid, Spain, 5-8 November 1990. pages 279-286, North-Holland, 1990.


Abstract is missing.