Speaker
Dániel Szekeres
Budapest University of Technology and Economics, Hungary
Talks at this conference:
| 15:00 | Reasoning with Happens-Before Relations about Concurrent Programs in the Theta Framework |
Speaker
Budapest University of Technology and Economics, Hungary
| 15:00 | Reasoning with Happens-Before Relations about Concurrent Programs in the Theta Framework |