Treffer: Verification of Erlang programs using abstract interpretation and model checking

Titel:

Verantwortlich:

Entstehung:

2001

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, Rheinisch-Westfälische Technische Hochschule Aachen, 2001

Schlagworte:

Zusatz-Informationen