| Allgemeine Angaben: | | Ort der Dateien | Dateien sind intern im Dokumentenserver abgelegt | | Größe | 507,1 KB in einer Datei | | ZIP-Datei: | Gepackte Version als ZIP-Archiv herunterladen | | Eingebracht am | 27.10.2025 12:46:49 | | Zuletzt geändert am | 27.10.2025 12:46:49 | | Dokument: | A case for data-oriented specifications: simpler implementation of B tools and DSLs | | Hauptdatei | |
| | |
