APA (7th ed.) Citation

SpringerLink (Online service), Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., . . . Riccobene, E. (2012). Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, and Elvinia Riccobene. Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Springer Berlin Heidelberg, 2012.