| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Automated Software Engineering, 1999. 14th IEEE International Conference on. |
| Pages | 315-318 |
| Number of pages | 4 |
| State | Published - 1999 |
An approach to automatic code generation for safety-critical systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution