
| Mitglied werden | Seite empfehlen | Drucken | Kontakt | Impressum | Über die DGEG
| Lfd. Nr. | 41 |
| Monat | 10 |
| Jahr | 1986 |
| Autor | Jan-Tecker Gayen, Dorota Kuchta |
| Artikel | Der mögliche Nutzen der „Symbolischen Ausführung“ von Programmen für den Sicherheitsnachweis |