Gaya APA

Proceedings of the 17th international conference on tools and algorithms for the construction and analysis of systems. (2011). USA: Springer.

Gaya MLA

Proceedings of the 17th international conference on tools and algorithms for the construction and analysis of systems. . USA: Springer, 2011. Books.