Skip to main navigation Skip to search Skip to main content

Honorable Mention Award

  • Kutsia, Teimuraz (Recipient), Ayala-Rincón, M. (Recipient), de Lima, Thaynara Arielly (Recipient), Dias Lima, Maria Júlia (Recipient) & Moscato, Mariano Miguel (Recipient)

Prize: Prize, award or honor

Description

awarded to the paper "Verification of an Anti-Unification Algorithm in PUS" of M. Ayala-Rincon, Arielly de Lima, M. Dias Lima, M. Moscato, Temur Kutsia
Awarded date2025