APA (7th ed.) Citation

VDM (Symposium) Kiel, Germany), SpringerLink (Online service), VDM-Europe, Bjørner, D., Hoare, C. A. R., & Langmaack, H. (1990). VDM '90: VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

VDM (Symposium) Kiel, Germany), SpringerLink (Online service), VDM-Europe, D. Bjørner, C. A. R. Hoare, and Hans Langmaack. VDM '90: VDM and Z : Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; Proceedings. Berlin ; New York: Springer-Verlag, 1990.

MLA (9th ed.) Citation

VDM (Symposium) Kiel, Germany), et al. VDM '90: VDM and Z : Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; Proceedings. Springer-Verlag, 1990.