Bearded gurus
Clocks, Dice and Processes PhD Promotion September 21, 2009 Taolue Chen Vrije Universiteit Amsterdam, The Netherlands.
Assembly Code Verification Using Model Checking