![](/img/cover-not-exists.png)
[ACM Press the 5th International Workshop - Singapore, Singapore (2016.09.03-2016.09.03)] Proceedings of the 5th International Workshop on Software Mining - SoftwareMining 2016 - By the power of SMT! mining function contracts to better bounded model checking
Abdullin, Azat, Akhin, MaratYear:
2016
Language:
english
DOI:
10.1145/2975961.2975963
File:
PDF, 340 KB
english, 2016