ISO-690 (author-date, English)

HUCH, Frank Günter, 2001. Verification of Erlang programs using abstract interpretation and model checking.

Elsevier - Harvard (with titles)

Huch, F.G., 2001. Verification of Erlang programs using abstract interpretation and model checking. https://doi.org/urn:nbn:de:hbz:82-opus-4303

American Psychological Association 7th edition

Huch, F. G. (ca. 2001). Verification of Erlang programs using abstract interpretation and model checking [Cd]. https://doi.org/urn:nbn:de:hbz:82-opus-4303

Springer - Basic (author-date)

Huch FG (2001) Verification of Erlang programs using abstract interpretation and model checking

Juristische Zitierweise (Stüber) (Deutsch)

Huch, Frank Günter, Verification of Erlang programs using abstract interpretation and model checking, 2001.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.