APA (7th ed.) Citation

Shukla, S. K., & Talpin, J. (2010). Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction. Springer Science+Business Media, LLC.

Chicago Style (17th ed.) Citation

Shukla, Sandeep K., and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction. Boston, MA: Springer Science+Business Media, LLC, 2010.

MLA (8th ed.) Citation

Shukla, Sandeep K., and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction. Springer Science+Business Media, LLC, 2010.