Tagungsband des 4. GI-ITG-GME-Workshops Methoden des Entwurfs und der Verifikation Digitaler SystemeBernd StraubeÉpuisé4,3Prévenez-moi
