Previous
Next
Journal
- acm siglog news2
- acm transactions on embedded computing systems2
- ieee transactions on automatic control2
- lecture notes in computer science2
- proceedings of the 27th acm conference on on innovation and technology in computer science education vol. 12
- proceedings of the acm on programming languages2
- proceedings of the asee annual conference & exposition2
- acm inroads1
- automated technology for verification and analysis : 21st international symposium, atva 2023, singapore, october 24-27, 2023, proceedings, part ii1