Verifying Erlang code: a resource locker case-study
Journal article, 2002
Author
Thomas Arts
University of Gothenburg
Clara Benac Earle
John Derrick
Proc. Int. Symposium of Formal Methods Europe
Subject Categories
Computer and Information Science