TACAS 2003 Warsaw, Poland, ETAPS 2003, Garavel, H., & Hatcliff, J. (2003). Tools and algorithms for the construction and analysis of systems: 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings. Springer.
Cita Chicago Style (17a ed.)TACAS 2003 Warsaw, Poland, ETAPS 2003, Hubert Garavel, y John Hatcliff. Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : Proceedings. Berlin: Springer, 2003.
Cita MLA (9a ed.)TACAS 2003 Warsaw, Poland, et al. Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : Proceedings. Springer, 2003.