APA (7th ed.) Citation

Vahid, F., & Gajski, D. (1992). Specification partitioning for system design. [1992] Proceedings 29th ACM/IEEE Design Automation Conference, 219-224. https://doi.org/10.1109/DAC.1992.227833

Chicago Style (17th ed.) Citation

Vahid, F., and D.D Gajski. "Specification Partitioning for System Design." [1992] Proceedings 29th ACM/IEEE Design Automation Conference 1992: 219-224. https://doi.org/10.1109/DAC.1992.227833.

MLA (9th ed.) Citation

Vahid, F., and D.D Gajski. "Specification Partitioning for System Design." [1992] Proceedings 29th ACM/IEEE Design Automation Conference, 1992, pp. 219-224, https://doi.org/10.1109/DAC.1992.227833.