Previous
Next
Journal
- acm sigplan notices41
- electronic notes in theoretical computer science34
- theoretical computer science29
- journal of automated reasoning27
- entcs: electronic notes in theoretical computer science24
- international journal on software tools for technology transfer23
- formal aspects of computing21
- proceedings of the acm on programming languages20
- science of computer programming16