Stefan Friedrich
Publication Activity (10 Years)
Years Active: 1996-2004
Publications (10 Years): 0
Publications (10 Years): 0
Publications
- Stefan FriedrichTopology. Arch. Formal Proofs 2004 (2004)
- Stefan FriedrichLazy Lists II. Arch. Formal Proofs 2004 (2004)
- David A. Basin, Stefan Friedrich, Marek Gawkowski
- David A. Basin, Stefan Friedrich, Marek Gawkowski
- David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga
- David A. Basin, Stefan Friedrich, Sebastian Mödersheim
- David A. Basin, Stefan Friedrich
- David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
- Abdelwaheb Ayari, David A. Basin, Stefan Friedrich
- David A. Basin, Stefan FriedrichCombining WS1S and HOL. FroCoS (1998)
- David A. Basin, Stefan Friedrich