APA Citation

Abdulla, P. A., Leino, K. R. M., TACAS, & ETAPS. (2011). Tools and algorithms for the construction and analysis of systems: 17th international conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings. Berlin [u.a.]: Springer.

Chicago Style Citation

Abdulla, Parosh Aziz, K. Rustan M. Leino, TACAS, and ETAPS. Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held As Part of the Joint European Conferences On Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; Proceedings. Berlin [u.a.]: Springer, 2011.

MLA Citation

Abdulla, Parosh Aziz, K. Rustan M. Leino, TACAS, and ETAPS. Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held As Part of the Joint European Conferences On Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; Proceedings. Berlin [u.a.]: Springer, 2011.

Warning: These citations may not always be 100% accurate.