acm / sigplan notices (6)
acm sigplan notices (6)
static analysis (4)
verification, model checking, and abstract interpretation (3)
2017 ieee 16th international symposium on network computing and applications (nca), network computing and applications (nca), 2017 ieee 16th international symposium on (1)
2019 ieee/rsj international conference on intelligent robots and systems (iros), intelligent robots and systems (iros), 2019 ieee/rsj international conference on (1)
acm sigsoft software engineering notes (1)
computer aided verification. part i (1)
computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part i (1)
foundations & trends in programming languages (1)
international conference on grammatical inference (1)
proceedings of the 12th acm sigsoft twelfth international symposium: foundations of software engineering (1)
proceedings of the 2010 acm sigplan conference: programming language design & implementation (1)
proceedings of the 32nd acm sigplan conference: programming language design & implementation (1)
proceedings of the 33rd acm sigplan conference programming language design & implementation (1)
proceedings of the 38th annual acm sigplan-sihact symposium: principles of programming languages (1)
program analysis & compilation, theory & practice (1)
programming languages & systems (9783642106712) (1)
static analysis (9783540691631) (1)
verification, model checking & abstract interpretation (1)
verification, model checking & abstract interpretation (9783540311393) (1)