Cita APA

Alpuente Frasnedo, M., Sapiña-Sanchis, J., & Ballis, D. (2018). Static Correction of Maude Programs with Assertions.

Citación estilo Chicago

Alpuente Frasnedo, María|||0000-0002-9268-1178, Julia|||0000-0003-2994-6986 Sapiña-Sanchis, y D. Ballis. Static Correction of Maude Programs With Assertions. 2018.

Cita MLA

Alpuente Frasnedo, María|||0000-0002-9268-1178, Julia|||0000-0003-2994-6986 Sapiña-Sanchis, y D. Ballis. Static Correction of Maude Programs With Assertions. 2018.