APA引文

Ramirez, R., Santosa, A., & SCIENCE, C. (2013). Formal verification of concurrent and distributed constraint-based java programs.

Chicago Style Citation

Ramirez, R., A.E Santosa, and COMPUTER SCIENCE. Formal Verification of Concurrent and Distributed Constraint-based Java Programs. 2013.

MLA引文

Ramirez, R., A.E Santosa, and COMPUTER SCIENCE. Formal Verification of Concurrent and Distributed Constraint-based Java Programs. 2013.

警告：這些引文格式不一定是100％准確.