Version: 31 March 2006.
The following papers have been discussed.
Specifications, Refinements, and Atomic Registers
Seminar Verification B (we skipped section 3)
Seminar Verification C
Seminar Verification D.
Terug naar mijn onderwijspagina of mijn hoofdpagina.