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 /

Bibliographic Details
Corporate Author: International Conference on Tools and Algorithms for the Construction and Analysis of Systems York, UK.
Other Authors: Kowalewski, Stefan (ed.), Philippou, Anna (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer 2009.
Series:Lecture notes in computer science ; v. 5505
Subjects: