Reasoning about complex, dynamic systems using formal approaches

Project: Research

Status	Finished
Effective start/end date	21/07/10 → 14/01/11

Project Details