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