| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | ACM SIGAda Ada Letters |
| Pages | 41-42 |
| Number of pages | 2 |
| Volume | 33 |
| State | Published - 2013 |
Up and out: scaling formal analysis using model-based development and architecture modeling
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution