ECU Libraries Catalog

Abstract state machines, alloy, B and Z second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings

MLA

Frappier, Marc. Abstract State Machines, Alloy, B and Z: Second International Conference, Abz 2010, Orford, Qc, Canada, February 22-25, 2010 : Proceedings. Berlin: Springer, .

APA

Frappier, M. Abstract state machines, alloy, B and Z: second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings. Berlin: Springer.

Chicago

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