Previous
Next
Journal
- icse: international conference on software engineering3
- 2012 34th international conference on software engineering (icse)2
- acm international conference proceeding series2
- 2009 ieee 31st international conference on software engineering1
- 2017 formal methods in computer aided design (fmcad)1
- 2017 ieee european symposium on security and privacy (euros&p)1
- 2017 ieee/acm 39th international conference on software engineering companion (icse-c)1
- 2019 ieee 30th international symposium on software reliability engineering (issre)1
- proceedings of the 13th acm conference on computer and communications security1