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

Cached

Download Links

by Thomas Arts , Clara Benac Earle
Venue: Formal Methods in Industrial Critical Systems
Citations:16 - 3 self