guest ::
Verification of Erlang programs using abstract interpretation and model checking
In
Proceedings of the 4. ACM SIGPLAN International Conference on Functional Programming (ICFP '99) : Paris, France, 27.9.-29.9.1999
In
SIGPLAN notices 34(9), Seiten/Artikel-Nr.:261-272
1999
Online
DOI: 10.1145/317636.317908
Einrichtungen
Dokumenttyp
Journal Article/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Interne Identnummern
RWTH-CONV-021692
Datensatz-ID: 141566
Beteiligte Länder
Germany
|
The record appears in these collections: |