Style de citation APA (7e éd.)
C. R. Ramakrishnan, J. R. Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings. Springer.
Style de citation Chicago (17e éd.)
C. R. Ramakrishnan, Jakob Rehof. Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings. Berlín, Alemania: Springer.
Style de citation MLA (9e éd.)
C. R. Ramakrishnan, Jakob Rehof. Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings. Springer.
Attention : ces citations peuvent ne pas être correctes à 100%.