author : Thomas Arts

Papers/Articles

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