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 (17η εκδ.)SpringerLink (Online service), Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, και 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 εκδ.)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.
