Verifying Erlang Code: A Resource Locker Case-Study.

Thomas Arts, Clara Benac Earle, John Derrick

Browse the full FM paper archive.