{"@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/1010000782280795534.json","@type":"Article","resourceType":"学術雑誌論文(journal article)","dc:title":[{"@language":"ja","@value":"A proof score approach to formal verification of an imperative programming language compiler"}],"creator":[{"@id":"https://cir.nii.ac.jp/crid/1420564276183727616","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"30272991"},{"@type":"NRID","@value":"1000030272991"},{"@type":"NRID","@value":"9000017681922"},{"@type":"NRID","@value":"9000023383144"},{"@type":"NRID","@value":"9000253475538"},{"@type":"NRID","@value":"9000258237771"},{"@type":"NRID","@value":"9000364945389"},{"@type":"NRID","@value":"9000024223404"},{"@type":"NRID","@value":"9000403666198"},{"@type":"NRID","@value":"9000398792333"},{"@type":"NRID","@value":"9000258237951"},{"@type":"NRID","@value":"9000398792560"},{"@type":"NRID","@value":"9000018785655"},{"@type":"NRID","@value":"9000392742120"},{"@type":"NRID","@value":"9000006508605"},{"@type":"NRID","@value":"9000004798554"},{"@type":"NRID","@value":"9000023378540"},{"@type":"NRID","@value":"9000258237925"},{"@type":"NRID","@value":"9000261650205"},{"@type":"NRID","@value":"9000021609138"},{"@type":"NRID","@value":"9000345292780"},{"@type":"NRID","@value":"9000258237910"},{"@type":"NRID","@value":"9000024652217"},{"@type":"NRID","@value":"9000006921609"},{"@type":"NRID","@value":"9000023388806"},{"@type":"NRID","@value":"9000253397398"},{"@type":"NRID","@value":"9000392743987"},{"@type":"NRID","@value":"9000002602078"},{"@type":"NRID","@value":"9000023359817"},{"@type":"NRID","@value":"9000398792084"},{"@type":"NRID","@value":"9000024628721"},{"@type":"NRID","@value":"9000403661601"},{"@type":"NRID","@value":"9000016496912"},{"@type":"NRID","@value":"9000408798510"},{"@type":"NRID","@value":"9000402383749"},{"@type":"NRID","@value":"9000024597525"},{"@type":"NRID","@value":"9000024642595"},{"@type":"NRID","@value":"9000238423251"},{"@type":"NRID","@value":"9000258237979"},{"@type":"NRID","@value":"9000258237625"},{"@type":"NRID","@value":"9000258118947"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/kzhr.ogt"}],"foaf:name":[{"@language":"ja","@value":"緒方 和博"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"北陸先端科学技術大学院大学"}]}],"publication":{"prism:publicationName":[{"@language":"ja","@value":"Proceedings of 7th International Workshop on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795"}],"prism:publicationDate":"2018","prism:volume":"-","prism:startingPage":"200","prism:endingPage":"217","jointInternationalResearch":"false"},"reviewed":"true","project":[{"@id":"https://cir.nii.ac.jp/crid/1040000782280795520","@type":"Project","projectIdentifier":[{"@type":"KAKEN","@value":"26240008"},{"@type":"JGN","@value":"JP26240008"},{"@type":"URI","@value":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-26240008/"}],"notation":[{"@language":"ja","@value":"ソフトウェア開発の高信頼アジャイル形式工学手法に関する研究"},{"@language":"en","@value":"Research on Highly Reliable Agile Formal Engineering Methods"}]}],"dataSourceIdentifier":[{"@type":"KAKEN","@value":"PRODUCT-21692409"}]}