Course

Formal methods for strategic decision-making: innovation, safety, and sustainability in organizations