Browsing by Author "Kowalewski, S."
Now showing items 1-4 of 4
-
Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Kowalewski, S.; Philippou, Anna (2009)
-
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)
-
Article
Preface
Kowalewski, S.; Philippou, Anna (2009)
-
Article
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 York, UK, March 22-29, 2009 Proceedings
Kowalewski, S.; Philippou, Anna (2009)