Tobias Kapp'e
发表
G. Morrisett,
Nate Foster,
J. G. Morrisett,
2022,
PLDI.
D. Kozen,
Nate Foster,
Alexandra Silva,
2022,
ESOP.
Gerco van Heerdt,
Alexandra Silva,
J. Rot,
2021,
FoSSaCS.
D. Kozen,
Nate Foster,
Alexandra Silva,
2022,
ESOP.
Alexandra Silva,
Simon Docherty,
Paul Brunet,
2020,
CONCUR.
Alexandra Silva,
Paul Brunet,
F. Zanasi,
2020,
FoSSaCS.
Dexter Kozen,
Alexandra Silva,
Todd Schmid,
2021,
ICALP.
D. Kozen,
Alexandra Silva,
Tobias Kapp'e,
2021,
ICALP.