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

MLA

Butler, et al. Abstract State Machines, Alloy, B, Tla, Vdm, and Z. Springer International Publishing, 2018.

APA

Butler, B., Alexander Raschke, A. Raschke, Klaus Reichl, K. Reichl, Thai Son Hoang, T. Son Hoang, Hoang, T. Son, Raschke, A., & Reichl, K. (2018). Abstract State Machines, Alloy, B, TLA, VDM, and Z. Springer International Publishing.

Chicago

Butler, Alexander Raschke, Klaus Reichl, Thai Son Hoang, Thai Son Hoang, Alexander Raschke, and Klaus Reichl. Abstract State Machines, Alloy, B, TLA, VDM, and Z. : Springer International Publishing, 2018.