Skip to main content
RISC
  • Home
  • More
English ‎(en)‎
Deutsch ‎(de)‎ English ‎(en)‎
You are currently using guest access
Log in
RISC
Home
Expand all Collapse all
  1. SpecADT20
  2. Lecture
  3. Video "Reasoning 3: The Refinement of Specifications" (Lectures June 5/19)

Video "Reasoning 3: The Refinement of Specifications" (Lectures June 5/19)

Completion requirements
Video "Reasoning 3: The Refinement of Specifications" (Lectures June 5/19)
You are currently using guest access (Log in)
Data retention summary
Get the mobile app
Powered by Moodle