![](/img/cover-not-exists.png)
[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Symbolic assume-guarantee reasoning through BDD learning
He, Fei, Wang, Bow-Yaw, Yin, Liangze, Zhu, LeiYear:
2014
Language:
english
DOI:
10.1145/2568225.2568253
File:
PDF, 510 KB
english, 2014