APA (7th ed.) Citation

Zhu, H., Sun, J., Dong, J. S., & Lin, S. (2016). From verified model to executable program: The PAT approach. Innovations in systems and software engineering, 12(1), 1-26. https://doi.org/10.1007/s11334-015-0269-z

Chicago Style (17th ed.) Citation

Zhu, Huiquan, Jing Sun, Jin Song Dong, and Shang-Wei Lin. "From Verified Model to Executable Program: The PAT Approach." Innovations in Systems and Software Engineering 12, no. 1 (2016): 1-26. https://doi.org/10.1007/s11334-015-0269-z.

MLA (9th ed.) Citation

Zhu, Huiquan, et al. "From Verified Model to Executable Program: The PAT Approach." Innovations in Systems and Software Engineering, vol. 12, no. 1, 2016, pp. 1-26, https://doi.org/10.1007/s11334-015-0269-z.