TACAS 2010 Sixteenth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTIONAND ANALYSIS OF SYSTEMS
A member conference of the European Joint Conferences on Theory and Practice of Software ETAPS 2010
March 20-28, 2010
Paphos, Cyprus
http://tacas10.in.tum.de/