Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler SemantikbeschreibungenMarion KremerÉpuisé4,3Prévenez-moi
