Previous
Next
Journal
- programming languages and systems : 15th asian symposium, aplas 2017, suzhou, china, november 27-29, 2017, proceedings26
- static analysis : 26th international symposium, sas 2019, porto, portugal, october 8-11, 2019, proceedings22
- lecture notes in computer science17
- acm sigplan notices8
- acm / sigplan notices7
- electronic notes in theoretical computer science7
- verification, model checking, and abstract interpretation6
- communications of the acm3
- entcs: electronic notes in theoretical computer science3