Browsing by Author "TACAS (Conference) (15th : 2009 : York, England) [Main,author]"
Now showing items 1-1 of 1
-
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
TACAS (Conference) (15th : 2009 : York, England) [Main,author]; Kowaleski, Stefan; Philippou, Anna; ETAPS (Conference) (12th : 2009 : York, ,England) (2009)