ISO-690 (author-date, English)

ROBBY, HATCLIFF, John und BELT, Jason, 2025. Logika: the Sireum verification framework. International Journal on Software Tools for Technology Transfer. 1 Oktober 2025. Vol. 27, no. 5, p. 487-510. DOI 10.1007/s10009-025-00828-8.

Elsevier - Harvard (with titles)

Robby, Hatcliff, J., Belt, J., 2025. Logika: the Sireum verification framework. International Journal on Software Tools for Technology Transfer 27, 487-510. https://doi.org/10.1007/s10009-025-00828-8

American Psychological Association 7th edition

Robby, Hatcliff, J., & Belt, J. (2025). Logika: the Sireum verification framework. International Journal on Software Tools for Technology Transfer, 27(5), 487-510. https://doi.org/10.1007/s10009-025-00828-8

Springer - Basic (author-date)

Robby, Hatcliff J, Belt J (2025) Logika: the Sireum verification framework.. International Journal on Software Tools for Technology Transfer 27:487-510. https://doi.org/10.1007/s10009-025-00828-8

Juristische Zitierweise (Stüber) (Deutsch)

Robby/ Hatcliff, John/ Belt, Jason, Logika: the Sireum verification framework., International Journal on Software Tools for Technology Transfer 2025, 487-510.

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