Languages
Dragoi, Cezara.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Verification, model checking, and abstract interpretation = 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
by:
VMCAI (Conference) (2023 :); Dragoi, Cezara.; Emmi, Michael.; Wang, Jingbo.; SpringerLink (Online service)
(Electronic resources)
Static analysis = 28th international symposium, SAS 2021,Chicago, IL, USA : proceedings /
by:
International Static Analysis Symposium (2021 :); Dragoi, Cezara.; Mukherjee, Suvam.; Namjoshi, Kedar S.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Mathematics of Computing.
Logic in AI.
Operating Systems.
Control Structures and Microprogramming.
Computer programming
Special Purpose and Application-Based Systems.
Computer System Implementation.
Computer Communication Networks.
Computer programs- Verification