Previous
Next
Journal
- ieee transactions on software engineering170
- international journal on software tools for technology transfer168
- ieee transactions on computer-aided design of integrated circuits & systems136
- electronic notes in theoretical computer science130
- formal methods in system design128
- ieee access128
- ieee transactions on computer-aided design of integrated circuits and systems98
- science of computer programming88
- formal aspects of computing77