Skip to main content
Lecture

Choice with Multiple Alternatives: Specification of the Deterministic Part