Ganesh, Vijay.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings /
by:
Hou, Zhe.; Ganesh, Vijay.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings /
by:
Ganesh, Vijay.; SpringerLink (Online service); Hou, Zhe.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024 : proceedings.. Part I /
by:
SpringerLink (Online service); Ganesh, Vijay.; Gurfinkel, Arie.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Computer aided verification = 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024 : proceedings.. Part III /
by:
Ganesh, Vijay.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Gurfinkel, Arie.
(Language materials, printed)
Computer aided verification = 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024 : proceedings.. Part II /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Gurfinkel, Arie.; Ganesh, Vijay.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Computer organization.
Computer engineering.
Software Engineering/Programming and Operating Systems.
Computer networks .
Artificial intelligence.
Software engineering.
Computer Systems Organization and Communication Networks.
Computer Engineering and Networks.
Artificial Intelligence.
Design and Analysis of Algorithms.
Computers.
Computer Hardware.
Computer hardware.
Computer software