IdézéskapcsolatShinya Nakamura et al. A Code Checker That Uses Tree Patterns Reflecting the Structures of Rule Violation Code. (2016) IPSJ Transactions on Programming 1882-7802 9 4 1-15

Közlemény:
Gábor Horváth et al. Clang matchers for verified usage of the C++ Standard Template Library. (2015) ANNALES MATHEMATICAE ET INFORMATICAE 1787-5021 1787-6117 44 99-109
Kapcsolódó cikk:
Shinya Nakamura et al. A Code Checker That Uses Tree Patterns Reflecting the Structures of Rule Violation Code. (2016) IPSJ Transactions on Programming 1882-7802 9 4 1-15
Független: Igen
2020-11-28 03:44