Semi-Automated Verification of Erlang Code (2001)

Cached

Download Links

by Lars-Åke Fredlund , Dilian Gurov , Thomas Noll
Citations:5 - 1 self