[Club2] Probevortrag (schon wieder...)

Norbert Schirmer norbert.schirmer@informatik.tu-muenchen.de
Wed, 9 Mar 2005 10:56:28 +0100

Previous message: [Club2] Probevortrag (schon wieder...)
Next message: [Club2] Club2: Proof Carrying Code in Isabelle/HOL
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hallo zusammen,

auf mehrfachen Wunsch beginnt der Vortrag nun doch um 11.15.


   Norbert

Previous message: [Club2] Probevortrag (schon wieder...)
Next message: [Club2] Club2: Proof Carrying Code in Isabelle/HOL
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]