VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

251-0828-00L 1 Credits
You're viewing possible stale or outdated data. Please check the latest semester for more up-to-date information.

FATS Formal Approaches to Software

Lecturers & Examiners: Prof. Dr. Robert Stärk, Prof. Dr. Armin Biere, Prof. em. Dr. Bertrand Meyer, Prof. Dr. David Basin, Prof. Dr. Peter Müller, Dr. Jean-Raymond Abrial
VVZ CR n/a

Last Updated: 2026-02-05 14:57:20

General Information

Language
German
Frequency
Yearly recurring

Examination

Type
session examination
Mode
oral 30 minutes

Course Components

Type Title Time & Place Hours
lecture FATS Formal Approaches to Software
  • Wed 16:15-17:00 (IFW D 42)
1 h weekly

Offered In