Progressive program reasoning - RAZVAN VOICU (2010)
Ph.D