Gast ::
Semi-automated verification of Erlang code
; ;
In
Proceedings / 16th Annual International Conference on Automated Software Engineering (ASE 2001) : 26 - 29 November 2001, Loew's Coronado Bay Resort, Coronado Island, San Diego, California / sponsored by IEEE Computer Society Techncial Committee on Software Engineering; ACM SIGSoft; ACM SIGArt, Seiten/Artikel-Nr: 319-323
2001
Online
DOI: 10.1109/ASE.2001.989820
Einrichtungen
Dokumenttyp
Contribution to a conference proceedings/Contribution to a book
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
INSPEC: 7169417
WOS Core Collection: WOS:000173027200036
SCOPUS: SCOPUS:2-s2.0-13644249861
Interne Identnummern
RWTH-CONV-180609
Datensatz-ID: 108418
Beteiligte Länder
Sweden, Germany
|
The record appears in these collections: |