SpringerLink (Online service), Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., . . . Riccobene, E. (2012). Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, και Elvinia Riccobene. Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Springer Berlin Heidelberg, 2012.
