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 Berlin Heidelberg.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Jayadev Misra, Tobias Nipkow, and Emil Sekerinski. FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006.
MLA (8th ed.) CitationSpringerLink (Online service), et al. FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings. Springer Berlin Heidelberg, 2006.
Warning: These citations may not always be 100% accurate.
