APA (7th ed.) Citation

Cornell University. Mathematical Sciences Institute, Leeser, M., & Brown, G. (1990). Hardware specification, verification, and synthesis: Mathematical aspects Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989, proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

Cornell University. Mathematical Sciences Institute, M. Leeser, and G. Brown. Hardware Specification, Verification, and Synthesis: Mathematical Aspects Mathematical Sciences Institute Workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989, Proceedings. Berlin ; New York: Springer-Verlag, 1990.

MLA (9th ed.) Citation

Cornell University. Mathematical Sciences Institute, et al. Hardware Specification, Verification, and Synthesis: Mathematical Aspects Mathematical Sciences Institute Workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989, Proceedings. Springer-Verlag, 1990.