Back to the 2000 catalog

PhD · 2000

Piotr Roald Sidorowicz

A Formal Framework for Modeling and Testing Memories

Year

2000

Academic unit

Computer Science

Surname

Sidorowicz

Supervisor

Janusz A. Brzozowski