Abdulla, P. A., & Leino, K. R. M. (2011). Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings (1st ed. 2011.). Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style CitationAbdulla, Parosh Aziz., and K. Rustan M. Leino. Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held As Part of the Joint European Conference On Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings. 1st ed. 2011. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2011.
MLA CitationAbdulla, Parosh Aziz., and K. Rustan M. Leino. Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held As Part of the Joint European Conference On Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings. 1st ed. 2011. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2011.