Verification of Erlang Programs using Abstract Interpretation and Model Mhecking.

Frank Huch

Browse the full ICFP paper archive.