APA (7th ed.) Citation

Butler, R., Caldwell, J., Carreno, V., Holloway, C., Miner, P., & Di Vito, B. (1995). NASA Langley's research and technology-transfer program in formal methods. COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security', Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on, Computer assurance, 135. https://doi.org/10.1109/CMPASS.1995.521893

Chicago Style (17th ed.) Citation

Butler, R.W, J.L Caldwell, V.A Carreno, C.M Holloway, P.S Miner, and B.L Di Vito. "NASA Langley's Research and Technology-transfer Program in Formal Methods." COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security', Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on, Computer Assurance 1995: 135. https://doi.org/10.1109/CMPASS.1995.521893.

MLA (9th ed.) Citation

Butler, R.W, et al. "NASA Langley's Research and Technology-transfer Program in Formal Methods." COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security', Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on, Computer Assurance, 1995, p. 135, https://doi.org/10.1109/CMPASS.1995.521893.