Sound Runtime Assertion Checking for Memory Properties via Program Transformation
Article in Formal Aspects of Computing (March 2024)
The most recent citing publications are shown below. View all 1,075 publications that cite this research output on Dimensions.
Article in Formal Aspects of Computing (March 2024)
Book chapter (March 2024)
Article in Science of Computer Programming (March 2024)