新闻动态

实验室研究生龙震岳的论文获ETAPS Best Paper Award

实验室研究生龙震岳的论文”Language-Theoretic Abstraction Refinement”(authors: Zhenyue Long, Georgel Calin, Rupak Majumdar and Roland Meyer)获ETAPS 2012 Best Paper Award:http://cs.ioc.ee/etaps12/etapsdaily/thursday.pdf
今年ETAPS共有4篇论文获此荣誉。
祝贺龙震岳同学!