Previous
Next
Journal
- journal of automated reasoning6
- lecture notes in computer science5
- automated deduction - cade 271
- automated deduction - cade 27 : 27th international conference on automated deduction, natal, brazil, august 27-30, 2019, proceedings1
- computer aided verification (9783319216898)1
- computer aided verification : 27th international conference, cav 2015, san francisco, ca, usa, july 18-24, 2015, proceedings, part i1
- frontiers of combining systems : 13th international symposium, frocos 2021, birmingham, uk, september 8-10, 2021, proceedings1
- integration of constraint programming, artificial intelligence, and operations research : 17th international conference, cpaior 2020, vienna, austria, september 21-24, 2020, proceedings1
- tools and algorithms for the construction and analysis of systems : 23rd international conference, tacas 2017, held as part of the european joint conferences on theory and practice of software, etaps 2017, uppsala, sweden, april 22-29, 2017, proceedings, part ii1