<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/name> "Towards the formal verification of the requirements and design of a processor interface unit"@en .
<http://worldcat.org/entity/work/id/1956819437> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029513> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/no91017593> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85126393> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2642687384> .
<http://worldcat.org/entity/work/id/1956819437> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2637226615> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/contributor> <http://viaf.org/viaf/146202023> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/contributor> <http://viaf.org/viaf/144531053> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85112511> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n79134855> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2656689539> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/name> "Towards the formal verification of the requirements and design of a processor interface unit HOL listings"@en .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n78087581> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/about> <http://id.worldcat.org/fast/1093646> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/name> "Towards the formal verification of the requirements and design of a processor interface unit : HOL listings"@en .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/workExample> <http://www.worldcat.org/oclc/31507892> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/workExample> <http://www.worldcat.org/oclc/53054262> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/about> <http://id.worldcat.org/fast/1129034> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/workExample> <http://www.worldcat.org/oclc/30819997> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/contributor> <http://viaf.org/viaf/127305149> .
<http://worldcat.org/entity/work/id/1956819437> <http://schema.org/about> <http://id.worldcat.org/fast/872297> .
<http://experiment.worldcat.org/entity/work/data/1956819437.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1956819437.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1956819437> .