DynInst

From MaRDI portal