Abschnittsübersicht

  • Blocked Course, University of Debrecen, October 2015.

    http://www.risc.jku.at/people/schreine/courses/ws2015/formsd

    This course gives an overview on tools and techniques for formally specifying, checking and verifying Java programs.

    Since the exercises will be submitted via Moodle, you also have to login in Moodle and enroll as a participant of this course. You will then also receive per email all messages posted in the News forum and may yourself post messages in the Questions and Answers forum.