Woche: April 8, 16:30-18:00 (Zoom) | Seminar Formal Methods and Automated Reasoning II (SS 2025) | RISC

Startseite Kalender

Seminar Formal Methods and Automated Reasoning II (SS 2025)

Abschnittsübersicht

Wolfgang Schreiner
- Aktivität Semantics-Based Rapid Prototyping of a Subset of SQL auswählen
  
  Semantics-Based Rapid Prototyping of a Subset of SQL Datei PDF
- Aktivität SLANG: A Semantics-Based Language Generator auswählen
  
  SLANG: A Semantics-Based Language Generator Datei PDF