CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
Caldwell, James L.: Formal Methods Technology-Transfer: a View from NASA. In Gnesi, S.; and Latella, D., editors 1996:, Proceedings of the ERCIM Workshop on Formal Methods for Industrial Critical Systems, Oxford England, March 1996. To appear in a special issue of the journal Formal Methods in System Design.
James L. Caldwell. Formal methods technology-transfer: a view from nasa. In S. Gnesi and D. Latella, editors, Proceedings of the ERCIM Workshop on Formal Methods for Industrial Critical Systems, Oxford England, March 1996.