RWTH Leitseite

Abstract: Verification of Erlang Programs using Abstract Interpretation and Model Checking

  
@TechReport{Huch:1999:VEP,
    author =           "Frank Huch",
    title =            "Verification of {Erlang} Programs using Abstract
                        Interpretation and Model Checking -- Extended Version",
    institution =      "RWTH Aachen",
    number =           "99--02",
    year =             "1999",
    ISSN =             "0935-3232",
    author-1-address = "RWTH Aachen, Germany",
}

Abstract, Paper This copy is posted by permission of ACM and may not be redistributed.

E-Mail Last modified: Tue Apr 30 15:07:35 MEST 2002 / Lehrstuhl für Informatik II
RWTH Aachen