Semi-Automated Verification of Erlang Code (2001)
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 |
