Sort
By YearBy Citation
IEEE Transactions on Reliability, no. 1 (2020): 88-105
EIWOS
PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementatio..., pp.1143-1158, (2020)
EI
national conference on artificial intelligence, (2020)
national conference on artificial intelligence, (2019)
EI
SCIENTIA SINICA Informationis, no. 10 (2019): 1283-1298
ASE, pp.502-514, (2019)
EI
ISSRE, pp.58-69, (2019)
EI
ASE, pp.305-316, (2019)
EI
Proceedings of the ACM on Programming Languages, no. POPL (2019): 60-27
EI
Science China Information Sciences, no. 10 (2019): 1-16
EI
Science China Information Sciences, no. 10 (2019): 1-3
EI
IEEE Transactions on Reliability, pp.1-18, (2019)
IEEE Trans. Services Computing, no. 1 (2019): 6-19
EIWOS
View All