Previous
Next
Journal
- lecture notes in computer science6
- theoretical computer science3
- 2013 35th international conference on software engineering (icse)2
- journal of discrete algorithms2
- proceedings of the 47th annual southeast regional conference2
- tools & algorithms for the construction & analysis of systems (9783662496732)2
- tools and algorithms for the construction and analysis of systems : 22nd international conference, tacas 2016, held as part of the european joint conferences on theory and practice of software, etaps 2016, eindhoven, the netherlands, april 2-8, 2016, proceedings2
- 2021 ieee international conference on software maintenance and evolution (icsme)1
- acm / sigplan notices1