Zhong, J. E., Cheang, K., Qadeer, S., Grieskamp, W., Blackshear, S., Park, J., . . . Dill, D. L. (2020). The Move Prover. Computer Aided Verification.
Stile di citazione ChicagoZhong, Jingyi Emma, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark Barrett, e David L. Dill. "The Move Prover." Computer Aided Verification 2020.
Citazione MLAZhong, Jingyi Emma, et al. "The Move Prover." Computer Aided Verification 2020.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.