Gast ::
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: |
Datensatz erzeugt am 2013-01-25, letzte Änderung am 2024-07-22