Sebastian Hunt

发表

David Clark, Pasquale Malacaria, Sebastian Hunt, 2005, J. Log. Comput..
David Sands, Sebastian Hunt, David Sands, 2008, ESOP.
David Clark, Pasquale Malacaria, Sebastian Hunt, 2005, QAPL.
David Sands, Sebastian Hunt, David Sands, 1991, PEPM '91.
Chris Hankin, Sebastian Hunt, C. Hankin, 1992, Sci. Comput. Program..
David Sands, Sebastian Hunt, David Sands, 1991, PEPM '91.
Chris Hankin, Sebastian Hunt, C. Hankin, 1994 .
David M. Clark, Sebastian Hunt, Sebastian Hunt, 2007 .
David M. Clark, Pasquale Malacaria, Sebastian Hunt, 2004 .
David Sands, Sebastian Hunt, Sandro Stucki, 2022, ArXiv.
David Sands, Sebastian Hunt, Filippo Del Tedesco, 2011, ICISS.
Chris Hankin, Sebastian Hunt, C. Hankin, 1992, Sci. Comput. Program..
Sebastian Hunt, Sebastian Hunt, 1989, FPCA.
Chris Hankin, David Clark, Sebastian Hunt, 2000, SAS.
David Sands, Sebastian Hunt, David Sands, 2011, ESOP.
David Clark, Pasquale Malacaria, Sebastian Hunt, 2007, J. Comput. Secur..
David Clark, Pasquale Malacaria, Sebastian Hunt, 2002, QAPL.
David Sands, Sebastian Hunt, David Sands, 2006, POPL '06.
David Sands, Sebastian Hunt, David Sands, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).
David Sands, Sebastian Hunt, Bart van Delft, 2015, POST.
David Clark, Sebastian Hunt, D. Clark, 2009, Formal Aspects in Security and Trust.
David M. Clark, Pasquale Malacaria, Sebastian Hunt, 2004 .
SEBASTIAN HUNT, CHRIS HANKIN, C. Hankin, 1991, Journal of Functional Programming.