Cita APA

Alpuente Frasnedo, M., Escobar Román, S., Sapiña-Sanchis, J., & Ballis, D. (2019). Symbolic Analysis of Maude Theories with Narval.

Citación estilo Chicago

Alpuente Frasnedo, María|||0000-0002-9268-1178, Santiago|||0000-0002-3550-4781 Escobar Román, Julia|||0000-0003-2994-6986 Sapiña-Sanchis, y Demis Ballis. Symbolic Analysis of Maude Theories With Narval. 2019.

Cita MLA

Alpuente Frasnedo, María|||0000-0002-9268-1178, Santiago|||0000-0002-3550-4781 Escobar Román, Julia|||0000-0003-2994-6986 Sapiña-Sanchis, y Demis Ballis. Symbolic Analysis of Maude Theories With Narval. 2019.