Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler SemantikbeschreibungenMarion KremerUitverkocht4,3Hou mij op de hoogte
