Cita APA

SpringerLink (Online service), Shukla, S. K., & Talpin, J. (2010). Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction (1st ed. 2010.). New York, NY: Springer US : Imprint: Springer.

Citación estilo Chicago

SpringerLink (Online service), Sandeep Kumar Shukla, y Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness By Construction. 1st ed. 2010. New York, NY: Springer US : Imprint: Springer, 2010.

Cita MLA

SpringerLink (Online service), Sandeep Kumar Shukla, y Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness By Construction. 1st ed. 2010. New York, NY: Springer US : Imprint: Springer, 2010.