Cita APA

Alpuente Frasnedo, M., Sapiña-Sanchis, J., & Ballis, D. (2019). 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. 2019.

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. 2019.