Mar 27, 2009 · York UK March 22 - 29, 2009. ISBN: 978-3-642-00767 ... Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009.

This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS ...

15th TACAS 2009: York, UK (Part of ETAPS 2009). export records of this page ... ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in ...

This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, ...

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European ...

... 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.

TACAS 2009. Fifteenth International Conference on. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS. A member conference of the European ...

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009 Held as Part of the Joint European Conferences ...

... TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers ...

TACAS 2009 took place in York, UK, 23–26 March, 2009, as part of the 12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009), whose aims ...