Eliminating overlapping of pattern matching when verifying Erlang programs in µCRL (2006)

Cached

Download Links

by Qiang Guo , John Derrick
Venue:In 12th International Erlang User Conference (EUC’06
Citations:2 - 0 self