Joint forces for memory safety checking revisited

Marek Chalupa, Jan Strejcek, Martina Vitovská. Joint forces for memory safety checking revisited. STTT, 22(2):115-133, 2020. [doi]

Abstract

Abstract is missing.