STUCKEY, Peter J., 2023. Mini Zinc for Formal Methods. In: . 24 Oktober 2023.
Elsevier - Harvard (with titles)Stuckey, P.J., 2023. Mini Zinc for Formal Methods, in: . https://doi.org/10.34727/2023 sbn.978-3-85448-060-0_5
American Psychological Association 7th editionStuckey, P. J. (2023, Oktober 24). Mini Zinc for Formal Methods. https://doi.org/10.34727/2023 sbn.978-3-85448-060-0_5
Springer - Basic (author-date)Stuckey PJ (2023) Mini Zinc for Formal Methods
Juristische Zitierweise (Stüber) (Deutsch)Stuckey, Peter J., Mini Zinc for Formal Methods, 2023, .
Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.