computer aided verification (7)
acm / sigplan notices (4)
acm sigplan notices (4)
formal methods in system design (4)
mckinsey insights (4)
static analysis (4)
computer languages, systems & structures (3)
computers & operations research (3)
information processing letters (3)
2020 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2020 (2)
computer aided verification (9783642142949) (2)
computer aided verification (9783642314230) (2)
computer aided verification. part i (2)
formal methods in system design: an international journal (2)
proceedings of the 36th acm sigplan conference on programming language design and implementation (2)
proceedings of the acm on programming languages (2)
static analysis (9783540691631) (2)
2016 31st ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2016 31st ieee/acm international conference on (1)
2017 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2017 (1)
2021 36th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2021 36th ieee/acm international conference on, ase (1)
2021 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2021 formal methods in (1)
2023 38th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2023 38th ieee/acm international conference on, ase (1)
acm sigplan notices - popl '15 (1)
computer aided verification (9783319216898) (1)
computer aided verification (9783540272311) (1)
computer aided verification (9783540374060) (1)
computer aided verification (9783540705437) (1)
computer aided verification (9783642397981) (1)
computer languages systems & structures (1)
computer languages, systems and structures (1)
computers and operations research (1)
dissertation abstract international (1)
dissertation abstracts international (1)
international journal on software tools for technology transfer (1)
j inst eng (india) min metall div (1)
mckinsey quarterly (1)
proceedings of the 11th working conference on mining software repositories (1)
proceedings of the 14th conference on formal methods in computer-aided design (1)
proceedings of the 2013 international symposium on software testing and analysis (1)
proceedings of the 22nd acm sigplan/sigbed international conference on languages, compilers, and tools for embedded systems (1)
proceedings of the 22nd acm sigsoft international symposium on foundations of software engineering (1)
proceedings of the 26th symposium on operating systems principles (1)
proceedings of the 31st ieee/acm international conference on automated software engineering (1)
proceedings of the 37th acm sigplan conference on programming language design and implementation (1)
proceedings of the 39th annual acm sigplan-sigact symposium on principles of programming languages (1)
proceedings of the 42nd annual acm sigplan-sigact symposium on principles of programming languages (1)
proceedings of the acm sigsoft 20th international symposium on the foundations of software engineering (1)
proceedings of the acm symposium on cloud computing (1)
proceedings of the fourteenth eurosys conference 2019 (1)
programming languages & systems (9783540330950) (1)