Ulf Norell

发表

Ulf Norell, U. Norell, 2004 .
Ulf Norell, John Hughes, Hans Svensson, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Ulf Norell, John Hughes, Nicholas Smallbone, 2014, FASE.
Ulf Norell, Peter Dybjer, Ana Bove, 2009, TPHOLs.
Ulf Norell, John Hughes, Andreas Abel, 2005, Haskell '05.
Ulf Norell, Patrik Jansson, 2004, MPC.
Ulf Norell, 2009, TLDI '09.
Ulf Norell, John Hughes, Jérôme Sautret, 2010, AST '10.
Ulf Norell, John Hughes, Nicholas Smallbone, 2011, Erlang '11.
Ulf Norell, Benjamin C. Pierce, John Hughes, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Ulf Norell, Hans Svensson, Thomas Arts, 2013, Erlang '13.
Ulf Norell, Patrik Jansson, 2003, IFL.
Ulf Norell, John Hughes, Thomas Arts, 2016, 2016 IEEE/ACM 11th International Workshop in Automation of Software Test (AST).
Ulf Norell, John Hughes, Nicholas Smallbone, 2016, AST@ICSE.
Ulf Norell, Rolf Johansson, Thomas Arts, 2012 .
Ulf Norell, Nils Anders Danielsson, U. Norell, 2008, IFL.
Ulf Norell, Rolf Johansson, Thomas Arts, 2012 .
Ulf Norell, Alex Gerdes, 2015, Erlang Workshop.
Ulf Norell, U. Norell, 2009, TLDI '09.
Thierry Coquand, Ulf Norell, Andreas Abel, 2005, FroCoS.