Language: English

圖資館首頁

Login

Languages

English (2)

Covers

Jump To : Overview | Titles | Subjects

Akshay, S.

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Automated technology for verification and analysis22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.Part I / by: (1998 :); Akshay, S.; Niemetz, Aina.; Sankaranarayanan, Sriram.; SpringerLink (Online service) (Electronic resources)

Automated technology for verification and analysis22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.Part II / by: (1998 :); Akshay, S.; Niemetz, Aina.; Sankaranarayanan, Sriram.; SpringerLink (Online service) (Electronic resources)

Subjects

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

Change password

Login