APA (7th ed.) Citation

TACAS (Conference) Genoa, Italy), SpringerLink (Online service), ETAPS (Conference), Margaria-Steffen, T., & Yi, W. (2001). Tools and algorithms for the construction and analysis of systems: 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings. Springer.

Chicago Style (17th ed.) Citation

TACAS (Conference) Genoa, Italy), SpringerLink (Online service), ETAPS (Conference), Tiziana Margaria-Steffen, and Wang Yi. Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : Proceedings. Berlin ; New York: Springer, 2001.

MLA (9th ed.) Citation

TACAS (Conference) Genoa, Italy), et al. Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : Proceedings. Springer, 2001.