Log in to see this item in other languages
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Contributors
- Huch, Frank Günter
Subject
Type of item
Providing institution
Aggregator
Rights statement for the media in this item (unless otherwise specified)
- http://rightsstatements.org/vocab/InC/1.0/
Identifier
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Language
- eng
Providing country
- Germany
Collection name
First time published on Europeana
- 2017-04-05T13:21:11.966Z
Last time updated from providing institution
- 2017-11-13T10:36:57.080Z