Login / Signup
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
Mohamed Faouzi Atig
Ahmed Bouajjani
Shaz Qadeer
Published in:
Log. Methods Comput. Sci. (2011)
Keyphrases
</>
concurrent programs
machine learning
expert systems