Wolfgang Ahrendt

Joint Papers

• The Logic of Software. A Tasting Menu of Formal Methods