Steffan Christ Sølvsten´s PhD defence of "I/O-efficient Symbolic Model Checking"

Oplysninger om arrangementet
Tidspunkt
Sted
5342-333 Ada
Pris
Free DKK
On Thursday May 15, 2025, Steffan Christ Sølvsten will defend the PhD thesis I/O-efficient Symbolic Model Checking