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

MLA

Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro, et al. Abstract State Machines, Alloy, B, Tla, Vdm, and Z. Springer International Publishing, 2016.

APA

Michael Butler, M. Biro, Biro, M., Mashkoor, A., & Schewe, K. (2016). Abstract State Machines, Alloy, B, TLA, VDM, and Z. Springer International Publishing.

Chicago

Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro, Miklos Biro, Atif Mashkoor, and Klaus-Dieter Schewe. Abstract State Machines, Alloy, B, TLA, VDM, and Z. : Springer International Publishing, 2016.