Towards Trustworthy Refactoring in Erlang
  • Metaadatok
Tartalom: http://hdl.handle.net/10831/66105
Archívum: EDIT
Gyűjtemény: Publikációk
MTMT Tudományos publikációk
Tudományos publikációk (IK)
Cím:
Towards Trustworthy Refactoring in Erlang
Létrehozó:
Dániel, Horpácsi
Judit, Kőszegi
Simon, Thompson
Dátum:
2016
Típus:
info:eu-repo/semantics/article
Formátum:
application/pdf
Azonosító:
BOOKTITLE: Fourth International Workshop on Verification and Program Transformation
elte:Fourth International Workshop on Verification and Program Transformation
doi:10.4204/EPTCS.216.5
elte:000390320200008
elte:84992160344
elte:3091360
elte:ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
elte:ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
elte:216
elte:10082784
LOMS: https://edit.elte.hu/xmlui/bitstream/10831/66105/1/3091360.pdf
Létrehozó:
info:eu-repo/semantics/openAccess