Avni, Guy.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

AI verification = first International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024 : proceedings / by: Avni, Guy.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service) (Language materials, printed)

Subjects