Cita APA

Alpuente Frasnedo, M., Sapiña-Sanchis, J., & Ballis, D. (2020). Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME system.

Citación estilo Chicago

Alpuente Frasnedo, María|||0000-0002-9268-1178, Julia|||0000-0003-2994-6986 Sapiña-Sanchis, y D. Ballis. Efficient Safety Enforcement for Maude Programs Via Program Specialization in the ÁTAME System. 2020.

Cita MLA

Alpuente Frasnedo, María|||0000-0002-9268-1178, Julia|||0000-0003-2994-6986 Sapiña-Sanchis, y D. Ballis. Efficient Safety Enforcement for Maude Programs Via Program Specialization in the ÁTAME System. 2020.