Development of a verified Erlang program for resource locking.

Thomas Arts Clara Benac Earle John Derrick

Published in: Int. J. Softw. Tools Technol. Transf. (2004)

Keyphrases

resource allocation
development process
case study
information processing
search engine
special case
knowledge based systems
software development
st century