Linked Data Explorerhttp://worldcat.org/entity/work/id/1956819437
Towards the formal verification of the requirements and design of a processor interface unit
Open All Close All
http://schema.org/contributor
- http://id.loc.gov/authorities/names/no91017593
- http://worldcat.org/entity/person/id/2642687384
- http://viaf.org/viaf/146202023
- http://viaf.org/viaf/144531053
- http://id.loc.gov/authorities/names/n79134855
- http://worldcat.org/entity/person/id/2656689539
- http://id.loc.gov/authorities/names/n78087581
- http://viaf.org/viaf/127305149
http://schema.org/name
- "Towards the formal verification of the requirements and design of a processor interface unit"@en
- "Towards the formal verification of the requirements and design of a processor interface unit HOL listings"@en
- "Towards the formal verification of the requirements and design of a processor interface unit : HOL listings"@en