Dragoi, Cezara.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Static analysis28th international symposium, SAS 2021,Chicago, IL, USA : proceedings /
by:
(1998 :); Dragoi, Cezara.; Mukherjee, Suvam.; Namjoshi, Kedar S.; SpringerLink (Online service)
(Electronic resources)
Verification, model checking, and abstract interpretation24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
by:
(1998 :); Dragoi, Cezara.; Emmi, Michael.; SpringerLink (Online service); Wang, Jingbo.
(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 programs
Computer System Implementation.
Computer Communication Networks.