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

by T Arts, C Benac Earle, J Derrick
Venue:Springer International Journal on Software Tools for Technology Transfer (STTT