Cita APA

Alarcón Jiménez, B. (2011). Towards a Framework for Proving Termination of Maude Programs.

Citación estilo Chicago

Alarcón Jiménez, Beatriz. Towards a Framework for Proving Termination of Maude Programs. 2011.

Cita MLA

Alarcón Jiménez, Beatriz. Towards a Framework for Proving Termination of Maude Programs. 2011.

Precaución: Estas citas no son 100% exactas.