author : Thomas Arts

Short works

• Verifying a Distributed Database Lookup Manager Written in Erlang. 1999. (In FM'99 volume 1 )