Cita APA
Charatan, Q., & Kans, A. (2004). Formal software development: From VDM to Java. Palgrave Macmillan.
Citación estilo Chicago
Charatan, Quentin, and Aaron Kans. Formal Software Development: From VDM to Java. Basingstoke: Palgrave Macmillan, 2004.
Cita MLA
Charatan, Quentin, and Aaron Kans. Formal Software Development: From VDM to Java. Palgrave Macmillan, 2004.
Warning: These citations may not always be 100% accurate.