A method for creating near-optimal instances of a certified write-all algorithm (extended abstract)

From MaRDI portal
Publication:5897265