![](/img/cover-not-exists.png)
[ACM Press the 2019 27th ACM Joint Meeting - Tallinn, Estonia (2019.08.26-2019.08.30)] Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019 - Finding and understanding bugs in software model checkers
Zhang, Chengyu, Su, Ting, Yan, Yichen, Zhang, Fuyuan, Pu, Geguang, Su, ZhendongYear:
2019
Language:
english
DOI:
10.1145/3338906.3338932
File:
PDF, 1.64 MB
english, 2019