Browsing by Author "Brauer, J."
Now showing items 1-1 of 1
-
Article
Model checking and abstract interpretation as building blocks of advanced program analysis techniques: Selected papers from TACAS 2009
Kowalewski, S.; Philippou, Anna; Brauer, J. (2013)