Matches in SemOpenAlex for { <https://semopenalex.org/location/W21087031101> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- W21087031101 hasURL "https://doi.org/10.1017/s0956796808006904" @default.
- W21087031101 type Location @default.
- W21087031101 hasSource S12266929 @default.
- W21087031101 hasVersion "publishedVersion" @default.
- W21087031101 isOa "true" @default.
- W21087031101 pdfUrl "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/90ECD60D060DCCEBC81521A36FC565A0/S0956796808006904a.pdf/div-class-title-modular-development-of-certified-program-verifiers-with-a-proof-assistant-a-href-fn001-ref-type-fn-span-class-sup-1-span-a-a-href-fn002-ref-type-fn-span-class-sup-2-span-a-div.pdf" @default.