APA (7th ed.) Citation

Suprapto, Wardoyo, R., Widjaja, B. H., & Pulungan, R. (2015). A Formal Proof of Correctness of Construct Association from PROMELA to Java. IAENG International Journal of Computer Science, 42(4), 313.

Chicago Style (17th ed.) Citation

Suprapto, Retantyo Wardoyo, Belawati H. Widjaja, and Reza Pulungan. "A Formal Proof of Correctness of Construct Association from PROMELA to Java." IAENG International Journal of Computer Science 42, no. 4 (2015): 313.

MLA (9th ed.) Citation

Suprapto, et al. "A Formal Proof of Correctness of Construct Association from PROMELA to Java." IAENG International Journal of Computer Science, vol. 42, no. 4, 2015, p. 313.