Alpuente Frasnedo, M., Sapiña-Sanchis, J., & Ballis, D. (2020). Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME system.
Chicago Style CitationAlpuente Frasnedo, María|||0000-0002-9268-1178, Julia|||0000-0003-2994-6986 Sapiña-Sanchis, and D. Ballis. Efficient Safety Enforcement for Maude Programs Via Program Specialization in the ÁTAME System. 2020.
MLA CitationAlpuente Frasnedo, María|||0000-0002-9268-1178, Julia|||0000-0003-2994-6986 Sapiña-Sanchis, and D. Ballis. Efficient Safety Enforcement for Maude Programs Via Program Specialization in the ÁTAME System. 2020.
Warning: These citations may not always be 100% accurate.