ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng. (7)
formal aspects of computing (3)
information systems (3)
journal of applied logic (3)
2009 ieee 31st international conference on software engineering (2)
2016 ieee/acm 11th international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2016 ieee/acm 11th international symposium on, seams (2)
proceedings. 27th international conference on software engineering, 2005. icse 2005., software engineering, 2005. icse 2005. proceedings. 27th international conference on, software engineering (2)
14th working conference on reverse engineering (wcre 2007) (1)
14th working conference on reverse engineering (wcre 2007), reverse engineering, 2007. wcre 2007. 14th working conference on (1)
18th ieee international conference on automated software engineering, 2003. proceedings., automated software engineering, 2003. proceedings. 18th ieee international conference on, automated software engineering (1)
2005 ieee international conference on services computing (scc'05) vol-1 (1)
2005 ieee international conference on services computing (scc'05) vol-1, services computing, 2005 ieee international conference on, services computing (1)
2008 23rd ieee/acm international conference on automated software engineering (1)
2008 acm/ieee 30th international conference on software engineering (1)
25th international conference on software engineering, 2003. proceedings., software engineering, 2003. proceedings. 25th international conference on, software engineering (1)
29th international conference on software engineering (icse'07) (1)
advanced int'l conference on telecommunications & international conference on internet & web applications & services (aict-iciw'06) (1)
advanced int'l conference on telecommunications and int'l conference on internet and web applications and services (aict-iciw'06), telecommunications, 2006. aict-iciw '06. international conference on internet and web applications and services/advanced international conference on (1)
formal aspects of computing: applicable formal methods (1)
ieee international conference on web services (icws'05) (1)
ieee international conference on web services (icws'05), web services, 2005. icws 2005. proceedings. 2005 ieee international conference on, web services (1)
ieee symposium on human centric computing languages & environments, 2003 (1)
ieee symposium on human centric computing languages and environments, 2003. proceedings. 2003, human centric computing languages and environments, 2003. proceedings. 2003 ieee symposium on, human centric computing languages and environments (1)
ieee transactions on automatic control, automatic control, ieee transactions on, ieee trans. automat. contr. (1)
proceedings 12th ieee international requirements engineering conference, 2004 (1)
proceedings ieee international conference on web services, 2004 (1)
proceedings of the 11th international workshop on software engineering for adaptive & self-managing systems (1)
proceedings of the 18th ieee international conference on automated software engineering, 2003 (1)
proceedings of the 23rd international conference on software engineering. icse 2001, software engineering, 2001. icse 2001. proceedings of the 23rd international conference on, software engineering. icse 2001 (1)
proceedings of the 24th international conference on software engineering. icse 2002, software engineering, 2002. icse 2002. proceedings of the 24rd international conference on, software engineering. icse 2002 (1)
proceedings seventh ieee international conference & workshop on the engineering of computer-based systems (ecbs 2000) (1)
proceedings seventh ieee international conference and workshop on the engineering of computer-based systems (ecbs 2000), engineering of computer based systems, 2000. (ecbs 2000) proceedings. seventh ieee international conference and workshopon the, engineering of computer based systems (1)
proceedings. 12th ieee international requirements engineering conference, 2004., requirements engineering conference, 2004. proceedings. 12th ieee international, requirements engineering (1)
proceedings. 19th international conference on automated software engineering, 2004., automated software engineering, 2004. proceedings. 19th international conference on, automated software engineering (1)
proceedings. ieee international conference on web services, 2004., web services, 2004. proceedings. ieee international conference on, web services (1)