학술논문
Software Evolution with a Typeful Version Control System
Document Type
Conference Paper
Author
Source
In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11724 LNCS:145-161)
Subject
Language
English
ISSN
16113349
03029743
03029743