ISO-690 (author-date, English)

WIJS, Anton, 2026. An overview of research with SLCO on seamless integration of formal verification into model-driven software engineering. Wijs, A 2026, ’An overview of research with SLCO on seamless integration of formal verification into model-driven software engineering’, Science of Computer Programming, vol. 248, 103386. https://doi.org/10.1016/j.scico.2025.103386. 1 Januar 2026. DOI 10.1016/j.scico.2025.103386.

Elsevier - Harvard (with titles)

Wijs, A., 2026. An overview of research with SLCO on seamless integration of formal verification into model-driven software engineering. Wijs, A 2026, ’An overview of research with SLCO on seamless integration of formal verification into model-driven software engineering’, Science of Computer Programming, vol. 248, 103386. https://doi.org/10.1016/j.scico.2025.103386. https://doi.org/10.1016/j.scico.2025.103386

American Psychological Association 7th edition

Wijs, A. (2026). An overview of research with SLCO on seamless integration of formal verification into model-driven software engineering. Wijs, A 2026, ’An Overview of Research With SLCO on Seamless Integration of Formal Verification into Model-Driven Software engineering’, Science of Computer Programming, Vol. 248, 103386. https://doi.org/10.1016/j.Scico.2025.103386. https://doi.org/10.1016/j.scico.2025.103386

Springer - Basic (author-date)

Wijs A (2026) An overview of research with SLCO on seamless integration of formal verification into model-driven software engineering. Wijs, A 2026, ’An overview of research with SLCO on seamless integration of formal verification into model-driven software engineering’, Science of Computer Programming, vol. 248, 103386. https://doi.org/10.1016/j.scico.2025.103386. https://doi.org/10.1016/j.scico.2025.103386

Juristische Zitierweise (Stüber) (Deutsch)

Wijs, Anton, An overview of research with SLCO on seamless integration of formal verification into model-driven software engineering, Wijs, A 2026, ’An overview of research with SLCO on seamless integration of formal verification into model-driven software engineering’, Science of Computer Programming, vol. 248, 103386. https://doi.org/10.1016/j.scico.2025.103386 2026.

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