C. Röckl
发表
F. Heppner,
A. Aguzzi,
M. Prinz,
2001,
Advances in virus research.
Martin Odersky,
Matthias Zenger,
Vincent Cremet,
2003,
ECOOP.
A. Aguzzi,
S. Brandner,
V. Pekarik,
2000,
Neurobiology of Aging.
A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis
Daniel Hirschkoff,
Christine Röckl,
D. Hirschkoff,
2003,
Journal of Functional Programming.