Fingerprint
Dive into the research topics of 'Integrating formal methods tools to support system design'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Shiu Kai Chin, John Faust, Joseph Giordano
Research output: Chapter in Book/Entry/Poem › Conference contribution