APA (7th ed.) Citation

SpringerLink (Online service), Butler, M., Schewe, K., Mashkoor, A., & Biro, M. (2016). Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Springer International Publishing : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, and Miklos Biro. Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Cham: Springer International Publishing : Imprint: Springer, 2016.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Springer International Publishing : Imprint: Springer, 2016.