Steffan Christ Sølvsten´s PhD defence of "I/O-efficient Symbolic Model Checking"
Info about event
Time
Location
5342-333 Ada
Price
Free DKK
On Thursday May 15, 2025, Steffan Christ Sølvsten will defend the PhD thesis I/O-efficient Symbolic Model Checking