TANTI, Erica, FRANCALANZA, Adrian und Computer Science Annual Workshop CSAW’13, 2013. Equivalence proofs for Erlang refactoring. In: . University of Malta. Faculty of ICT. 1 Januar 2013.
Elsevier - Harvard (with titles)Tanti, E., Francalanza, A., Computer Science Annual Workshop CSAW’13, 2013. Equivalence proofs for Erlang refactoring, in: . University of Malta. Faculty of ICT.
American Psychological Association 7th editionTanti, E., Francalanza, A., & Computer Science Annual Workshop CSAW’13. (2013, Januar 1). Equivalence proofs for Erlang refactoring.
Springer - Basic (author-date)Tanti E, Francalanza A, Computer Science Annual Workshop CSAW’13 (2013) Equivalence proofs for Erlang refactoring. University of Malta. Faculty of ICT
Juristische Zitierweise (Stüber) (Deutsch)Tanti, Erica/ Francalanza, Adrian/ Computer Science Annual Workshop CSAW’13, Equivalence proofs for Erlang refactoring, 2013, .