fundamental approaches to software engineering (9783540712886) (32)
ieee transactions on software engineering (27)
international journal on software tools for technology transfer (10)
acm transactions on software engineering and methodology (7)
acm transactions on programming languages & systems (4)
proceedings - international conference on software engineering (4)
acm sigsoft software engineering notes (3)
acm transactions on software engineering and methodology (tosem) (3)
chronicle of higher education (3)
computer (3)
formal methods in system design (3)
international journal on software tools for technology transfer (sttt) (3)
2008 23rd ieee/acm international conference on automated software engineering, automated software engineering, 2008. ase 2008. 23rd ieee/acm international conference on (2)
2011 26th ieee/acm international conference on automated software engineering (ase 2011), automated software engineering (ase), 2011 26th ieee/acm international conference on (2)
2015 30th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2015 30th ieee/acm international conference on (2)
2017 32nd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2017 32nd ieee/acm international conference on (2)
2021 ieee/acm 43rd international conference on software engineering (icse), software engineering (icse), 2021 ieee/acm 43rd international conference on, icse (2)
29th international conference on software engineering (icse'07), software engineering, 2007. icse 2007. 29th international conference on (2)
companion proceedings of the 36th international conference on software engineering (2)
computer (00189162) (2)
computer aided verification. part i (2)
formal methods in system design: an international journal (2)
higher-order and symbolic computation (2)
ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng. (2)
international educator (2)
proceedings of the 14th acm sigsoft international symposium on foundations of software engineering (2)
proceedings of the 2011 26th ieee/acm international conference on automated software engineering (2)
proceedings of the 2012 international symposium on software testing and analysis (2)
proceedings of the 22nd international conference on software engineering (2)
proceedings of the 29th international conference on software engineering (2)
proceedings of the 30th ieee/acm international conference on automated software engineering (2)
proceedings of the 38th international conference on software engineering (2)
proceedings of the 43rd international conference on software engineering (2)
proceedings of the 43rd international conference on software engineering: companion proceedings (2)
proceedings of the 9th european software engineering conference held jointly with 11th acm sigsoft international symposium on foundations of software engineering (2)
teacher magazine (2)
the journal of systems and software (2)
1995 17th international conference on software engineering, software engineering, 1995. icse 1995. 17th international conference on (1)
2009 1st international symposium on search based software engineering, search based software engineering, 2009 1st international symposium on (1)
2009 21st euromicro conference on real-time systems, real-time systems, 2009. ecrts '09. 21st euromicro conference on (1)
2009 ieee international conference on software maintenance, software maintenance, 2009. icsm 2009. ieee international conference on (1)
2010 16th ieee real-time and embedded technology and applications symposium, real-time and embedded technology and applications symposium (rtas), 2010 16th ieee (1)
2011 ieee 32nd real-time systems symposium, real-time systems symposium (rtss), 2011 ieee 32nd (1)
2012 ieee/rsj international conference on intelligent robots and systems, intelligent robots and systems (iros), 2012 ieee/rsj international conference on (1)
2016 ieee/acm 38th international conference on software engineering (icse), software engineering (icse), 2016 ieee/acm 38th international conference on, icse (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 ieee/acm 43rd international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2021 ieee/acm 43rd international conference on, icse-companion (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)
electronic notes in theoretical computer science (1)