Language: English

Login

Languages

English (2)

Covers

Jump To : Overview | Titles | Subjects

Akshay, S.

Overview

Works:	0 works in 2 publications in 1 languages

Titles

Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part II / by: Akshay, S.; Sankaranarayanan, Sriram.; SpringerLink (Online service); Niemetz, Aina.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)

Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part I / by: Sankaranarayanan, Sriram.; Akshay, S.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Niemetz, Aina. (Language materials, printed)

Subjects

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

Change password

Login