SpringerLink (Online service), Wing, J. M., Woodcook, J., & Davies, J. (1999). FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I (1st ed. 1999.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/3-540-48119-2
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Jeannette M. Wing, Jim Woodcook, και Jim Davies. FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I. 1st ed. 1999. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 1999. https://doi.org/10.1007/3-540-48119-2.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I. 1st ed. 1999. Springer Berlin Heidelberg : Imprint: Springer, 1999. https://doi.org/10.1007/3-540-48119-2.
