Language-Based Program Verification via Expressive Types

From MaRDI portal
Publication:2866340