Old Web
English
Sign In
Acemap
>
Paper
>
Formal Description and Verification of a Text-based Model Differencing and Merging Method.
Formal Description and Verification of a Text-based Model Differencing and Merging Method.
2018
Ferenc A. Somogyi
Márk Asztalos
Keywords:
Theoretical computer science
Merge (version control)
Computer science
Programming language
formal description
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]