9617597
9783642120015
Esparza, Javier is the author of 'Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference ... Computer Science and General Issues)', published 2010 under ISBN 9783642120015 and ISBN 3642120016.
[read more]