Sort
By YearBy Citation
international joint conference on automated reasoning, pp.97-118, (2020)
Sustainability, no. 16 (2020): 6533
Proceedings of the ACM on Programming Languages, no. OOPSLA (2020): 1-26
EI
ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundatio..., pp.530-542, (2020)
EI
ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
Virt..., pp.249-259, (2020)
EI
International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.137-157, (2020)
national conference on artificial intelligence, (2020)
Special Interest Group on Software Engineering, no. 2 (2020): 20-22
EI
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, pp.15-18, (2019)
EI
tools and algorithms for construction and analysis of systems, pp.174-191, (2019)
EI
FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, no. 2-3 (2019): 102-281
EI
ACM SIGSOFT Software Engineering Notes, no. 4 (2019): 15-15
EI
Proceedings of the ACM on Programming Languages, no. OOPSLA (2019): 177-28
EI
Proceedings of the 41st International Conference on Software Engineering, pp.430-441, (2019)
EI
View All