Languages
Lahiri, Shuvendu K.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automated technology for verification and analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Wang, Chao.; Lahiri, Shuvendu K.; SpringerLink (Online service)
(Language materials, printed)
Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
by:
Lahiri, Shuvendu K.; SpringerLink (Online service); Wang, Chao.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I /
by:
SpringerLink (Online service); Lahiri, Shuvendu K.; Wang, Chao.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /
by:
SpringerLink (Online service); Lahiri, Shuvendu K.; Wang, Chao.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Computer organization.
Systems and Data Security.
Computer logic.
Artificial intelligence.
Automatic theorem proving
Software engineering.
Theory of Computation.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer simulation.
Artificial intelligence
Information Systems and Communication Service.
Artificial Intelligence.
Simulation and Modeling.
Computers.
Computer Hardware.
Computer hardware.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer security.