computer aided verification (7)
acm sigplan notices (5)
acm / sigplan notices (4)
acm transactions on computational logic (3)
formal methods in system design (3)
journal of automated reasoning (3)
logical methods in computer science (3)
static analysis (3)
verification, model checking, and abstract interpretation (3)
automated reasoning (2)
computer aided verification (9783319216898) (2)
computer aided verification (9783642026577) (2)
computer aided verification (9783642314230) (2)
computer aided verification. part i (2)
formal methods in system design: an international journal (2)
2013 ieee symposium on security & privacy (1)
2013 ieee symposium on security and privacy, security and privacy (sp), 2013 ieee symposium on (1)
2015 ieee/acm 37th ieee international conference on software engineering (1)
2015 ieee/acm 37th ieee international conference on software engineering, software engineering (icse), 2015 ieee/acm 37th ieee international conference on (1)
2017 ieee/acm 39th international conference on software engineering (icse), software engineering (icse), 2017 ieee/acm 39th international conference on, icse (1)
2018 33rd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2018 33rd ieee/acm international conference on (1)
2020 35th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2020 35th ieee/acm international conference on, ase (1)
2020 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2020 (1)
2020 ieee/acm 17th international conference on mining software repositories (msr), mining software repositories (msr), 2020 ieee/acm 17th international conference on, msr (1)
2020 ieee/acm 42nd international conference on software engineering (icse), software engineering (icse), 2020 ieee/acm 42nd international conference on, icse (1)
2020 ieee/acm 42nd international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2020 ieee/acm 42nd international conference on, icse-companion (1)
2020 ieee/acm 42nd international conference on software engineering: software engineering in practice (icse-seip), software engineering: software engineering in practice (icse-seip), 2020 ieee/acm 42nd international conference on, icse-seip (1)
2022 ieee/acm 44th international conference on software engineering (icse), software engineering (icse), 2022 ieee/acm 44th international conference on, icse (1)
2022 ieee/acm 44th international conference on software engineering: software engineering in practice (icse-seip), software engineering: software engineering in practice (icse-seip), 2022 ieee/acm 44th international conference on, icse-seip (1)
2023 ieee/acm 45th international conference on software engineering (icse), software engineering (icse), 2023 ieee/acm 45th international conference on, icse (1)
29th international conference on software engineering (icse'07), software engineering, 2007. icse 2007. 29th international conference on (1)
automated deduction - cade-22 (1)
automated deduction - cade-24 (1)
computer aided verification (9783540272311) (1)
computer aided verification (9783540374060) (1)
conference record of the 33rd acm sigplan-sihact symposium: principles of programming languages (1)
dac: annual acm/ieee design automation conference (1)
dissertation abstract international (1)
dissertation abstracts international (1)
electronic notes in theoretical computer science (1)
entcs: electronic notes in theoretical computer science (1)
frontiers of combining systems (9783540290513) (1)
icse: international conference on software engineering (1)
international journal on software tools for technology transfer (1)
journal on satisfiability, boolean modeling and computation (1)
logic for programming, artificial intelligence & reasoning (9783540305538) (1)
nasa formal methods (9783319406473) (1)
proceedings of the 2008 international symposium: software testing & analysis (1)
proceedings of the 34th acm sigplan conference programming language design & implementation (1)
proceedings of the 35th acm sigplan conference programming language design & implementation (1)