APA Citation

Ait Ameur, Y., & Schewe, K. (2014). Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (1st ed. 2014.). Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer.

Chicago Style Citation

Ait Ameur, Yamine., and Klaus-Dieter Schewe. Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. 1st ed. 2014. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2014.

MLA Citation

Ait Ameur, Yamine., and Klaus-Dieter Schewe. Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. 1st ed. 2014. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2014.

Warning: These citations may not always be 100% accurate.