APA (7th ed.) Citation

SpringerLink (Online service), Joshi, R., Müller, P., & Podelski, A. (2012). Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. Springer Berlin Heidelberg : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Rajeev Joshi, Peter Müller, and Andreas Podelski. Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2012.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2012.