TAP 2007, Meyer, B. e., & Gurevich, Y. e. (2007). Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (1st ed. 2007.). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-73770-4
Chicago Style CitationTAP 2007, Bertrand. editor Meyer, and Yuri. editor Gurevich. Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers. 1st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. https://doi.org/10.1007/978-3-540-73770-4.
MLA CitationTAP 2007, et al. Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers. 1st ed. 2007. Springer Berlin Heidelberg, 2007. https://doi.org/10.1007/978-3-540-73770-4.
Harvard Style CitationTAP 2007, Meyer, B. e. & Gurevich, Y. e. 2007. Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers. 1st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg.
Content Cannot be Displayed
Chat content cannot be displayed due to cookie settings. To view the content, modify your cookie settings to allow the following categories: Chat Services.
Cookie Settings
