Back to the 2011 catalog

PhD · 2011

Ali Taleghani

Using Software Model Checking for Software Certification

Year

2011

Academic unit

Computer Science

Surname

Taleghani

Supervisor

Joanne M. Atlee