PhD defense Bob Rubbens on 15 October 12:45 Bridging the Implementation Gap: Advances in Model-Based Concurrent Program Verification

Bob Rubbens will defend his thesis with title Bridging the Implementation Gap: Advances in Model-Based Concurrent Program Verification on Wednesday 15 October at 12:45, in the Prof. dr. G. Berkhoff-Zaal, Waaier building. The layman's talk will be at 12:30.