Project report (German)

• Projektbericht (Post Script (PS))
  

• Projektbericht (Portable Document Format (PDF))
  

Documents about CSP (Concurrent Sequential Processes)

• CSP Quick Reference (PostScript)
  Quick reference about CSP symbols and operator semantics

Documents about Z

• Z Notation (PostScript)
  List of all Z-Symbols with short explanations
• Z-Example No.1 (PostScript)
  example from the first Z lecture (Class Managers Assistant)
• Z-Example No.2 (PostScript)
  example from the second Z lecture (relations, functions)

Documents about CVS (Concurrent Versions System)

• CVS Quick Reference (PostScript)
  Short introduction into CVS with examples

Documents about ASpecT

• Quick Starter
  
• User Manual