APA (7th ed.) Citation

SpringerLink (Online service), Wing, J. M., Woodcook, J., & Davies, J. (1999). FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (1st ed. 1999.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/3-540-48118-4

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Jeannette M. Wing, Jim Woodcook, and Jim Davies. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II. 1st ed. 1999. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 1999. https://doi.org/10.1007/3-540-48118-4.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II. 1st ed. 1999. Springer Berlin Heidelberg : Imprint: Springer, 1999. https://doi.org/10.1007/3-540-48118-4.