Efficiently verifying programs with rich control flows - GHERGHINA CRISTIAN ANDREI (2012)
Ph.D