Frias, M., & López Pombo, C. G. (2005). Reasoning about static and dynamic properties in alloy: A purely relational approach.
Cita Chicago Style (17a ed.)Frias, Marcelo, y Carlos Gustavo López Pombo. Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach. 2005.
Cita MLA (8a ed.)Frias, Marcelo, y Carlos Gustavo López Pombo. Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach. 2005.
Precaución: Estas citas no son 100% exactas.