Top: Computers: Programming: Languages: Erlang: Conferences: Proceedings:
Verification of Erlang programs using abstract interpretation and model checking
Link Details for: Verification of Erlang programs using abstract interpretation and model checking
|
|