APA (7th ed.) Citation

International Symposium of Formal Methods Europe Hamilton, Ont., SpringerLink (Online service), Misra, J., Nipkow, T., & Sekerinski, E. (2006). FM 2006: Formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings. Springer. https://doi.org/10.1007/11813040

Chicago Style (17th ed.) Citation

International Symposium of Formal Methods Europe Hamilton, Ont., SpringerLink (Online service), Jayadev Misra, Tobias Nipkow, and E. Sekerinski. FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : Proceedings. Berlin ; New York: Springer, 2006. https://doi.org/10.1007/11813040.

MLA (9th ed.) Citation

International Symposium of Formal Methods Europe Hamilton, Ont., et al. FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : Proceedings. Springer, 2006. https://doi.org/10.1007/11813040.