Marco Bernardo, A. C. 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, Advances Lectures. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita estilo Chicago (17a ed.)
Marco Bernardo, 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, Advances Lectures. Berlín, Alemania: Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
Marco Bernardo, 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, Advances Lectures. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Precaución: Estas citas no son 100% exactas.