APA Citation

Dong, J. S., & Woodcock, J. (2003). Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Dong, Jin Song, and Jim Woodcock. Formal Methods and Software Engineering: 5th International Conference On Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.

MLA Citation

Dong, Jin Song, and Jim Woodcock. Formal Methods and Software Engineering: 5th International Conference On Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.