Torben Amtoft

发表

Torben Amtoft, Anindya Banerjee, A. Banerjee, 2004, SAS.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1996, LOMAPS.
D. Clark, Torben Amtoft, K. Androutsopoulos, 2013 .
D. Clark, Torben Amtoft, K. Androutsopoulos, 2016 .
D. Clark, Torben Amtoft, K. Androutsopoulos, 2014 .
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1999 .
F. Nielson, H. R. Nielson, Torben Amtoft, 1999 .
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1999 .
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1999 .
Torben Amtoft, John Hatcliff, Robby, 2008, World Congress on Formal Methods.
Torben Amtoft, Torben Amtoft, 1993 .
Jesper Larsson Träff, Neil D. Jones, Torben Amtoft, 1989, Logic at Botik.
Torben Amtoft, Kelly Androutsopoulos, David Clark, 2020, From Lambda Calculus to Cybersecurity Through Program Analysis.
Mark Harman, David Clark, Torben Amtoft, 2010, Inf. Process. Lett..
Torben Amtoft, Anindya Banerjee, A. Banerjee, 2020, ACM Trans. Program. Lang. Syst..
Torben Amtoft, Anindya Banerjee, A. Banerjee, 2016, FoSSaCS.
Torben Amtoft, Torben Amtoft, 2008, Inf. Process. Lett..
Matthew B. Dwyer, Torben Amtoft, Anindya Banerjee, 2005, TOPL.
D. Clark, Torben Amtoft, K. Androutsopoulos, 2013 .
Olivier Danvy, Torben Amtoft, Charles Consel, 2001, The Essence of Computation.
Torben Amtoft, Franklyn A. Turbak, Torben Amtoft, 2000, ESOP.
Torben Amtoft, Anindya Banerjee, A. Banerjee, 2017, ArXiv.
Torben Amtoft, Anindya Banerjee, A. Banerjee, 2007, FMSE '07.
Torben Amtoft, Anindya Banerjee, Sruthi Bandhakavi, 2006, POPL '06.
Torben Amtoft, Anindya Banerjee, A. Banerjee, 2007, Sci. Comput. Program..
Torben Amtoft, Anindya Banerjee, Sruthi Bandhakavi, 2006 .
Torben Amtoft, Assaf J. Kfoury, Santiago M. Pericás-Geertsen, 2001, ESOP.
Torben Amtoft, Assaf J. Kfoury, Santiago M. Pericás-Geertsen, 2002, Comput. Lang. Syst. Struct..