Gaya APA

Butler, M., Hinchey, M, G. (2007). Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007 Boca Raton, FL, USA, November 2007, Proceedings . New York: Springer.

Gaya MLA

Butler, Michael., Hinchey, Michael, G.. "Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007 Boca Raton, FL, USA, November 2007, Proceedings". New York: Springer, 2007. Text.