Back to the 2002 catalog

PhD · 2002

David Victor Mason

Probabilistic Program Analysis for Software Component Reliability

Year

2002

Academic unit

Computer Science

Surname

Mason

Supervisor

Joanne M. Atlee

Co-supervisor

Denise Woit