{"@context":{"dc":"http://purl.org/dc/elements/1.1/","foaf":"http://xmlns.com/foaf/0.1/","dcterms":"http://purl.org/dc/terms/","owl":"http://www.w3.org/2002/07/owl#","rdfs":"http://www.w3.org/2000/01/rdf-schema#","cinii":"http://ci.nii.ac.jp/ns/1.0/"},"@id":"https://ci.nii.ac.jp/author/DA08648620.json","@graph":[{"@id":"https://ci.nii.ac.jp/author/DA08648620#entity","@type":"foaf:Group","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/author/DA08648620.json"},"foaf:name":[{"@value":"IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD"}],"cinii:authorid":"DA08648620","dcterms:alternative":["Workshop on Formal Design Methods for CAD, IFIP TC5/WG5.2"],"rdfs:seeAlso":[{"@id":"https://viaf.org/viaf/NII%7CDA08648620","dc:title":"VIAF"},{"@id":"https://nrid.nii.ac.jp/search/?qg=IFIP%2BTC5%2FWG5.2%2BWorkshop%2Bon%2BFormal%2BDesign%2BMethods%2Bfor%2BCAD","dc:title":"KAKEN — Researchers"},{"@id":"https://jglobal.jst.go.jp/search/researchers#%7B%22category%22%3A%221%22%2C%22keyword%22%3A%22IFIP%20TC5%2FWG5.2%20Workshop%20on%20Formal%20Design%20Methods%20for%20CAD%22%7D","dc:title":"J-GLOBAL"},{"@id":"https://researchmap.jp/researchers?name=IFIP+TC5%2FWG5.2+Workshop+on+Formal+Design+Methods+for+CAD","dc:title":"researchmap"},{"@id":"https://scholar.google.co.jp/scholar?q=IFIP+TC5%2FWG5.2+Workshop+on+Formal+Design+Methods+for+CAD&hl=ja&btnG=%E6%A4%9C%E7%B4%A2&lr=","dc:title":"Google Scholar"},{"@id":"https://www.google.co.jp/search?hl=ja&q=IFIP+TC5%2FWG5.2+Workshop+on+Formal+Design+Methods+for+CAD&btnG=%E6%A4%9C%E7%B4%A2&lr=","dc:title":"Google"},{"@id":"https://search.yahoo.co.jp/search?p=IFIP+TC5%2FWG5.2+Workshop+on+Formal+Design+Methods+for+CAD&search.x=1&fr=top_ga1_sa&tid=top_ga1_sa&ei=UTF-8&aq=&oq=","dc:title":"Yahoo! JAPAN"}]}]}