![](/img/cover-not-exists.png)
Concurrent Bug Finding Based on Bounded Model Checking
VujoÅ¡eviÄ JaniÄiÄ, MilenaVolume:
30
Journal:
International Journal of Software Engineering and Knowledge Engineering
DOI:
10.1142/S0218194020500242
Date:
May, 2020
File:
PDF, 1.46 MB
2020