Back to the 2014 catalog

PhD · 2014

Nomair Ahmed Naeem

Verification of Temporal Properties Involving Multiple Interacting Objects

Year

2014

Academic unit

Computer Science

Surname

Naeem

Supervisor

Ondrej Lhotak