{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1410001205222792322.json","@type":"Researcher","personIdentifier":[{"@type":"NRID","@value":"9000020871453"}],"foaf:Person":[{"foaf:name":[{"@language":"en","@value":"Yonezawa Akinori"}],"foaf:familyName":[{"@language":"en","@value":"Yonezawa"}],"foaf:givenName":[{"@language":"en","@value":"Akinori"}]}],"career":[{"institution":{"notation":[{"@language":"en","@value":"Department of Computer Science, The University of Tokyo"}]}}],"product":[{"@id":"https://cir.nii.ac.jp/crid/1390001205222792320","@type":"Article","productIdentifier":[{"@type":"DOI","@value":"10.2197/ipsjdc.1.117"},{"@type":"URI","@value":"http://www.jstage.jst.go.jp/article/ipsjdc/1/0/1_0_117/_pdf"},{"@type":"NAID","@value":"130000022400"}],"notation":[{"@language":"en","@value":"Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study"}],"relation":[{"type":"creator"}]}],"dataSourceIdentifier":[{"@type":"JALC","@value":"oai:japanlinkcenter.org:0024505859_ClMm2Iucz4A5tFaRiUUVVrVZB8Z"},{"@type":"CIA","@value":"130000022400_ClMm2Iucz4A5tFaRiUUVVrVZB8Z"},{"@type":"CROSSREF","@value":"10.2197/ipsjdc.1.117_NVT5tit3yCILImf19PofjqzK0GT"},{"@type":"OPENAIRE","@value":"doi_dedup___::af2442240174affe0c5c0dbf2312b907_NVT5tit3yCILImf19PofjqzK0GT"}]}