guest ::
Verification of Erlang programs using abstract interpretation and model checking - extended version
1999
Einrichtungen
Dokumenttyp
Report
Format
print
Sprache
English
Interne Identnummern
RWTH-CONV-008239
Datensatz-ID: 47852
Beteiligte Länder
Germany
|
The record appears in these collections: |
Record created 2013-01-25, last modified 2024-07-22