Fingerprint
Dive into the research topics of 'Implementing and verifying finite-state machines using types in higher-order logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Implementing and verifying finite-state machines using types in higher-order logic
Shiu Kai Chin, Graham Birtwistle
Research output: Chapter in Book/Entry/Poem › Conference contribution
1
Scopus
citations