Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 : Barcelona, Spain, March 29-April 11, 2004 : proceedings - TACAS (konference) 2004 : Barcelona, Španělsko); Jensen, Kurt, 1950-; Podelski, Andreas; ETAPS (konference) 2004 : Barcelona, Španělsko) (Berlin : Springer, 2004)