Back to the 2003 catalog

PhD · 2003

Torsten Paul Nelson

Formal Verification of Projection-Based Software Systems

Year

2003

Academic unit

Computer Science

Surname

Nelson

Supervisor

Donald D. Cowan