Ramirez, R., Santosa, A., & SCIENCE, C. (2013). Formal verification of concurrent and distributed constraint-based java programs.
استشهاد بنمط شيكاغوRamirez, R., A.E Santosa, و COMPUTER SCIENCE. Formal Verification of Concurrent and Distributed Constraint-based Java Programs. 2013.
MLA استشهادRamirez, R., A.E Santosa, و COMPUTER SCIENCE. Formal Verification of Concurrent and Distributed Constraint-based Java Programs. 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.