Software Verification Lab

CCF推荐目录：

https://www.ccf.org.cn/xspj/gyml/

CCF推荐国际学术会议和期刊目录（2015）.pdf

CCF推荐国际学术会议和期刊目录（2019）.pdf

中国计算机学会推荐中文科技期刊目录.pdf

CSRankings: 

http://csrankings.org

Microsoft Academic for conference: 

https://academic.microsoft.com/#/conferences/0/

Microsoft Academic for journal: 

https://academic.microsoft.com/#/journals/0/

Australia CORE for conference：

http://portal.core.edu.au/conf-ranks/

Australia CORE for journal：

http://portal.core.edu.au/jnl-ranks/