SpringerLink (Online service), Hierons, R. M., Bowen, J. P., & Harman, M. (2008). Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Robert M. Hierons, Jonathan P. Bowen, and Mark Harman. Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Springer Berlin Heidelberg, 2008.
Warning: These citations may not always be 100% accurate.
