Alle öffentlichen Logbücher

Dies ist die kombinierte Anzeige aller in SDQ-Institutsseminar geführten Logbücher. Die Ausgabe kann durch die Auswahl des Logbuchtyps, des Benutzers oder des Seitentitels eingeschränkt werden (Groß-/Kleinschreibung muss beachtet werden).

Logbücher

Ausführender Benutzer:

Ziel (Titel oder Benutzer:Benutzername für einen Benutzer):

Titel beginnt mit …

Von Datum (und früher):

Markierungs-Filter:

Zusätzliche Logbücher anzeigen:

Kontroll-Logbuch

Markierungs-Logbuch

Neuanmeldungs-Logbuch

Semantic-MediaWiki-Logbuch

14:10, 8. Dez. 2021 Frederik Reiche Diskussion Beiträge erstellte die Seite Generation of Formal Specifications for Smart Contracts from Architectural Specifications (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Jan-Philipp Töberg |email=jan-philipp.toeberg@student.kit.edu |vortragstyp=Masterarbeit |betreuer=Benutzer:Dv9597 |termin=Institutssem…“)