Demasi, R. A., Ponzio, P. D., Castro, P. F., & Baum, G. A. (2005). Verifying BON models with alloy.
Cita Chicago Style (17a ed.)Demasi, Ramiro Adrián, Pablo Daniel Ponzio, Pablo Francisco Castro, y Gabriel Alfredo Baum. Verifying BON Models with Alloy. 2005.
Cita MLA (8a ed.)Demasi, Ramiro Adrián, et al. Verifying BON Models with Alloy. 2005.
Precaución: Estas citas no son 100% exactas.