APA (7th ed.) Citation

Chechik, M. (2016). Tools and algorithms for the construction and analysis of systems: 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings. Springer.

Chicago Style (17th ed.) Citation

Chechik, Marsha. Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : Proceedings. Berlin: Springer, 2016.

MLA (9th ed.) Citation

Chechik, Marsha. Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : Proceedings. Springer, 2016.