[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 ]