Verified bytecode verification and type-certifying compilation

From MaRDI portal
Publication:1881665