ISO-690 (author-date, English)

SEGHIR, Mohamed Nassim, 2010. Abstraction refinement techniques for software model checking.

Elsevier - Harvard (with titles)

Seghir, M.N., 2010. Abstraction refinement techniques for software model checking. https://doi.org/urn:nbn:de:bsz:25-opus-79035

American Psychological Association 7th edition

Seghir, M. N. (ca. 2010). Abstraction refinement techniques for software model checking [Cd]. https://doi.org/urn:nbn:de:bsz:25-opus-79035

Springer - Basic (author-date)

Seghir MN (2010) Abstraction refinement techniques for software model checking

Juristische Zitierweise (Stüber) (Deutsch)

Seghir, Mohamed Nassim, Abstraction refinement techniques for software model checking, 2010.

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