APA Citation

Charatan, Q., & Kans, A. (2004). Formal software development: From VDM to Java. Basingstoke: Palgrave Macmillan.

Chicago Style Citation

Charatan, Quentin., and Aaron Kans. Formal Software Development: From VDM to Java. Basingstoke: Palgrave Macmillan, 2004.

MLA Citation

Charatan, Quentin., and Aaron Kans. Formal Software Development: From VDM to Java. Basingstoke: Palgrave Macmillan, 2004.

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