APA (7th ed.) Citation

Giloi, W., & Berg, H. K. (1980). The Use of formal specification of software and firmware, June 25-27, 1979, Berlin. Springer-Verlag.

Chicago Style (17th ed.) Citation

Giloi, Wolfgang, and H. K. Berg. The Use of Formal Specification of Software and Firmware, June 25-27, 1979, Berlin. Berlin ; New York: Springer-Verlag, 1980.

MLA (8th ed.) Citation

Giloi, Wolfgang, and H. K. Berg. The Use of Formal Specification of Software and Firmware, June 25-27, 1979, Berlin. Springer-Verlag, 1980.