|
Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 : held as part of the joint european conferences : on theory and practice of software, ETAPS 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.) |
|