Linked Data Explorerhttp://worldcat.org/entity/work/id/5952000
An algebraic framework for modelling and verifying microprocessors using HOL
Open All Close All
http://schema.org/about
- http://id.loc.gov/authorities/subjects/sh85029534
- http://experiment.worldcat.org/entity/work/data/5952000#Topic/computer_hardware
- http://id.loc.gov/authorities/subjects/sh85029495
- http://id.worldcat.org/fast/872078
- http://experiment.worldcat.org/entity/work/data/5952000#Topic/computer_software
- http://id.worldcat.org/fast/822777
- http://id.loc.gov/authorities/subjects/sh85010111
- http://id.worldcat.org/fast/1020008
- http://id.worldcat.org/fast/872527
- http://id.loc.gov/authorities/subjects/sh85084898
http://schema.org/name
- "An algebraic framework for modelling and verifying microprocessors using HOL"@en