APA (7th ed.) Citation

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.

Chicago Style (17th ed.) Citation

TACAS 2003 Warsaw, Poland, ETAPS 2003, Hubert Garavel, and 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.

MLA (9th ed.) Citation

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.