APA (7th ed.) Citation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, SpringerLink (Online service), Bernardo, M., & Cimatti, A. (2006). Formal methods for hardware verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures. Springer. https://doi.org/10.1007/11757283

Chicago Style (17th ed.) Citation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, SpringerLink (Online service), Marco Bernardo, and Alessandro Cimatti. Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : Advanced Lectures. Berlin ; New York: Springer, 2006. https://doi.org/10.1007/11757283.

MLA (9th ed.) Citation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, et al. Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : Advanced Lectures. Springer, 2006. https://doi.org/10.1007/11757283.