| Original language | English |
|---|---|
| Pages (from-to) | - |
| Journal | The Safety-Critical Systems Club Newsletter |
| Publication status | Published - 2015 |
High-integrity Java Applications using Circus
Frank Zeyda, Ana Cavalcanti
Research output: Contribution to journal › Article › peer-review