IdézéskapcsolatMário Nelson. Energy analysis in the CodeCompass system. (2017)

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:
Mário Nelson. Energy analysis in the CodeCompass system. (2017)
Független: Igen
2020-12-03 21:22