Julia Lawall
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Verification of Linux kernel code |
Sunday | UA2.114 (Baudoux) | Kernel | 11:00 | 11:20 |
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Verification of Linux kernel code |
Sunday | UA2.114 (Baudoux) | Kernel | 11:00 | 11:20 |