Abstract State Machines, Alloy, B, VDM, and Z

MLA

Hutchison, David, et al. Abstract State Machines, Alloy, B, Vdm, and Z. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., & Riccobene, E. (2012). Abstract State Machines, Alloy, B, VDM, and Z. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, and Elvinia Riccobene. Abstract State Machines, Alloy, B, VDM, and Z. : Springer Berlin Heidelberg, 2012.