APA (7th ed.) Citation

(2000). Tools and algorithms for the construction and analysis of systems: 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Susanne Graf, Michael Schwartzbach (eds.).

Chicago Style (17th ed.) Citation

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : Proceedings / Susanne Graf, Michael Schwartzbach (eds.). 2000.

MLA (9th ed.) Citation

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : Proceedings / Susanne Graf, Michael Schwartzbach (eds.). 2000.