Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : 15th European joint conferences on theory and practice of software : TACAS forum : Mar 2012, Tallinn, Estonia.
(Lecture Notes in Computer Science ; 7214. Advanced Research in Computing and Software Science)
An abstract and papers."ETAPS is an annual federated conference (...)" -- foreword."This year it comprised six sister conferences (CC, ESOP, FASE, FOS...