Semi-Automated Verification of Erlang Code (2001)

Cached

Download Links

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

Document Versions

Semi-Automated Verification of Erlang Code –Lars-Åke Fredlund, Dilian Gurov, Thomas Noll — 2001
Semi-Automated Verification of Erlang Code –Lars- ˚ake Fredlund Dilian Gurov — 2001 — In ASE ’01: Proceedings of the 16th IEEE International Conference on Automated Software Engineering