AG Grundlagen der Programmierung (Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau) - Forschungsprojekte

Temporallogische Programmierung
Mayer, Otto; (1996 - 1998)