APA (7th ed.) Citation

ABZ (Conference) Orford, Québec), SpringerLink (Online service), & Frappier, M. (2010). Abstract state machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings. Springer. https://doi.org/10.1007/978-3-642-11811-1

Chicago Style (17th ed.) Citation

ABZ (Conference) Orford, Québec), SpringerLink (Online service), and Marc Frappier. Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; Proceedings. Berlin ; New York: Springer, 2010. https://doi.org/10.1007/978-3-642-11811-1.

MLA (9th ed.) Citation

ABZ (Conference) Orford, Québec), et al. Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; Proceedings. Springer, 2010. https://doi.org/10.1007/978-3-642-11811-1.