theory of computing systems (6)
acm sigplan notices (4)
acm / sigplan notices (3)
communications of the acm (3)
computer aided verification (3)
acm transactions on storage (2)
computer aided verification (9783642397981) (2)
computer aided verification. part i (2)
static analysis (2)
verification, model checking, and abstract interpretation (2)
2019 14th acm/ieee international conference on human-robot interaction (hri), human-robot interaction (hri), 2019 14th acm/ieee international conference on (1)
2021 ieee symposium on security and privacy (sp), security and privacy (sp), 2021 ieee symposium on, sp (1)
2022 26th international conference on pattern recognition (icpr), pattern recognition (icpr), 2022 26th international conference on (1)
2022 55th ieee/acm international symposium on microarchitecture (micro), microarchitecture (micro), 2022 55th ieee/acm international symposium on, micro (1)
21st international conference on database theory (1)
acm/ieee international conference on human-robot interaction (1)
computer aided verification (9783642142949) (1)
computer aided verification (9783642314230) (1)
computer aided verification. part i. (1)
computer aided verification. part ii (1)
computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part ii (1)
foundations & trends in programming languages (1)
proceedings of the 33rd acm sigplan conference programming language design & implementation (1)
proceedings of the 41st acm sigplan-sigact symposium principles of programming languages (1)
proceedings of the vldb endowment (1)
static analysis (9783642331244) (1)
tools & algorithms for the construction & analysis of systems (9783642287558) (1)
tools & algorithms for the construction & analysis of systems (9783642367410) (1)
verification, model checking & abstract interpretation (9783642279393) (1)