[ACM Press the - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the on Future of Software Engineering - FOSE 2014 - Software engineering and automated deduction
Visser, Willem; Bjørner, Nikolaj; Shankar, Natarajan
- 作者Visser, Willem; Bjørner, Nikolaj; Shankar, Natarajan
- 文件大小251.95KB
- 发表时间2014
- DOI10.1145/2593882.2593899
- 页码155-166