On the Validated Usage of the C++ Standard Template Library. - Bence Babati; Gábor Horváth 005; Norbert Pataki; Attila Páter-Részeg (BCI, 2019)