APA Citation

Shukla, S. K., & Talpin, J. (2010). Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction. Boston, MA: Springer US : Imprint: Springer.

Chicago Style Citation

Shukla, Sandeep K., and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness By Construction. Boston, MA: Springer US : Imprint: Springer, 2010.

MLA Citation

Shukla, Sandeep K., and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness By Construction. Boston, MA: Springer US : Imprint: Springer, 2010.

Warning: These citations may not always be 100% accurate.