Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Honorable mention award

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

Auszeichnung: Preis, Auszeichnung oder Ehrung

Beschreibung

Honorable mention award for the paper: M. Ayala-Rincón, T.A. de Lima, M.J. Dias Lima, M. Moscato, T. Kutsia. Verification of an Anti-Unification Algorithm in PVS. NFM 2025 – 17th NASA Formal Methods Symposium. Williamsburg, VA, USA, June 11-14, 2025