| Original language | English |
|---|---|
| Title of host publication | host publication |
| Publication status | Published - 1993 |
Formal Verification Support for ELLA
Howard Barringer, Graham Gough, Tom Longshaw, Brian Monahan, Martin Peim, Alan Williams
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review