APA Citation

Frappier, M., Gls̃ser, U., Khurshid, S., Laleau, R., & Reeves, S. (2010). Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Frappier, Marc., Uwe Gls̃ser, Sarfraz Khurshid, Rǧine Laleau, and Steve Reeves. Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

MLA Citation

Frappier, Marc., et al. Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

Warning: These citations may not always be 100% accurate.