Development of a verified Erlang program for resource locking (2001)

by Thomas Arts, Clara Benac Earle
Venue: Formal Methods in Industrial Critical Systems