APA Citation

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 Citation

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

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