Language: English

Login

Languages

English (2)

Covers

Jump To : Overview | Titles | Subjects

Andre, Etienne.

Overview

Works:	0 works in 2 publications in 1 languages

Titles

Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part I / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Sun, Jun.; SpringerLink (Online service); Andre, Etienne. (Language materials, printed)

Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part II / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Sun, Jun.; Andre, Etienne.; SpringerLink (Online service) (Language materials, printed)

Subjects

Software Engineering. Theory of Computation. Artificial Intelligence. Computer Engineering and Networks. Computer Hardware. Automatic theorem proving

Change password

Login