APA (7th ed.) Citation

VDM '87 Brussels, Belgium, VDM-Europe, & Bjørner, D. (1987). VDM '87: VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings. Springer.

Chicago Style (17th ed.) Citation

VDM '87 Brussels, Belgium, VDM-Europe, and D. Bjørner. VDM '87: VDM, a Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987 : Proceedings. Berlin ; New York: Springer, 1987.

MLA (8th ed.) Citation

VDM '87 Brussels, Belgium, et al. VDM '87: VDM, a Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987 : Proceedings. Springer, 1987.