Back to Results
First PageMeta Content
Type theory / Bioinformatics / Annotation / Reference / Writing / Schema / Covariance and contravariance / Prolog / Type system


Generating Customized Verifiers for Automatically Generated Code Ewen Denney Bernd Fischer
Add to Reading List

Open Document

File Size: 175,29 KB

Share Result on Facebook