ABZ (Conference), Frappier, M. 1., Glässer, U. 1., Khurshid, S., Laleau, R., & Reeves, S. V. 1. (2010). Abstract state machines, Alloy, B and Z: Second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010 : proceedings. Berlín: Springer.
Citación estilo ChicagoABZ (Conference), Marc 1965- Frappier, Uwe 1959- Glässer, Sarfraz Khurshid, Régine Laleau, y Steven Victor 1957- Reeves. Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : Proceedings. Berlín: Springer, 2010.
Cita MLAABZ (Conference), et al. Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : Proceedings. Berlín: Springer, 2010.