Baráth, Áron and Porkoláb, Z. 2015. Automatic checking of the usage of the C++ move semantics. Acta Cybernetica. 22, 1 (Jan. 2015), 5-20. DOI:https://doi.org/10.14232/actacyb.22.1.2015.2.