Gerhard Ringwald

• INPOL und StA
• Normanalyse mit Formalismen der DV
• Perspektiven formaler Methoden im Recht 1986