APA (7th ed.) Citation

Chiang, C. (2004). A formal specification-based approach to distributed parallel programming. Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings, 197-205. https://doi.org/10.1109/HASE.2004.1281744

Chicago Style (17th ed.) Citation

Chiang, Chia-Chu. "A Formal Specification-based Approach to Distributed Parallel Programming." Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings 2004: 197-205. https://doi.org/10.1109/HASE.2004.1281744.

MLA (9th ed.) Citation

Chiang, Chia-Chu. "A Formal Specification-based Approach to Distributed Parallel Programming." Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings, 2004, pp. 197-205, https://doi.org/10.1109/HASE.2004.1281744.