Skip to main content
Lecture

Specification of the deterministic part