Publications

2013

Automatic Inference of Erlang Module Behaviour: R. Taylor, K. Bogdanov, and J. Derrick
In proceedings of IFM 2013, Turku, Finland, June 10-14, 2013
An expressive semantics for mocking: Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell and John Hughes
Submitted Mar 2013

The All-in-One Event Calendar core theme files are out of date and the calendar has been temporarily disabled. To enable the calendar, an administrator must log into the WordPress dashboard and follow the instructions.