proceedings of spie (41)
international journal on software tools for technology transfer (34)
journal of automated reasoning (11)
icse: international conference on software engineering (10)
interfaces (8)
microelectronic engineering (6)
tools and algorithms for the construction and analysis of systems (5)
international journal of production economics (4)
schmalenbach business review (sbr) (4)
surface and interface analysis (4)
2010 ieee 18th international conference on program comprehension, program comprehension (icpc), 2010 ieee 18th international conference on (3)
2023 38th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2023 38th ieee/acm international conference on, ase (3)
computer aided verification (3)
computer aided verification. part ii (3)
ieee transactions on software engineering (3)
2018 33rd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2018 33rd ieee/acm international conference on (2)
agricultural economics / zemedelska ekonomika (2)
international journal of network management (2)
international journal of systems science (2)
journal of revenue & pricing management (2)
leveraging applications of formal methods, verification and validation. part i (2)
model checking software (2)
static analysis (2)
vestnik moskovskogo universiteta. serija i. matematika, mehanika (2)
2008 23rd ieee/acm international conference on automated software engineering, automated software engineering, 2008. ase 2008. 23rd ieee/acm international conference on (1)
2009 formal methods in computer-aided design, formal methods in computer-aided design, 2009. fmcad 2009 (1)
2011 26th ieee/acm international conference on automated software engineering (ase 2011), automated software engineering (ase), 2011 26th ieee/acm international conference on (1)
2011 33rd international conference on software engineering (icse), software engineering (icse), 2011 33rd international conference on (1)
2012 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2012 (1)
2013 35th international conference on software engineering (icse), software engineering (icse), 2013 35th international conference on (1)
2018 ieee/acm 40th international conference on software engineering (icse), software engineering (icse), 2018 ieee/acm 40th international conference on, icse (1)
2019 34th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2019 34th ieee/acm international conference on (1)
2019 ieee/acm 16th international conference on mining software repositories (msr), mining software repositories (msr), 2019 ieee/acm 16th international conference on (1)
2023 ieee/acm 45th international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2023 ieee/acm 45th international conference on, icse-companion (1)
acm sigplan notices (1)
agricultural economics-zemedelska ekonomika (1)
analysis, control and optimization of complex dynamic systems (1)
computer aided verification. part i (1)
doklady akademii nauk sssr (1)
formal methods in computer aided design, formal methods in computer-aided design (fmcad), 2010 (1)
fundamental approaches to software engineering (1)
handbook of model checking (1)
ieee international conference on web services (icws 2007), web services, 2007. icws 2007. ieee international conference on (1)
ifac proceedings volumes (1)
insurance mathematics and economics (1)
insurance: mathematics \& economics (1)
optimization. a journal of mathematical programming and operations research (1)
principles of systems design---essays dedicated to thomas a. henzinger on the occasion of his 60th birthday (1)
tests and proofs (1)
verification, model checking, and abstract interpretation (1)