RISC Logo
    News       Library       Links       Sitemap       Search  
line
 
 Project Seminar Formal Methods in Computer Science
 

Wolfgang Schreiner
Franz Lichtenberger

326.038, WS 2004/05 (Start: October 7)
Thursday 16:30-18:00, Hagenberg

See the Moodle course for details.

Press the button "Login as a guest" to browse the course. For enroling the course, create a Moodle account first (you need not enrol now, just show up the first time in class). If you have problems, send me an email.

    This page is maintained by Wolfgang Schreiner . Last updated on September 13, 2004