ISO-690 (author-date, English)

ANAND, Aditya and THAKUR, Manas, 2025. Partial program analysis for staged compilation systems. Formal Methods in System Design. 1 April 2025. Vol. 65, no. 1, p. 195-230. DOI 10.1007/s10703-024-00458-x.

Elsevier - Harvard (with titles)

Anand, A., Thakur, M., 2025. Partial program analysis for staged compilation systems. Formal Methods in System Design 65, 195-230. https://doi.org/10.1007/s10703-024-00458-x

American Psychological Association 7th edition

Anand, A., & Thakur, M. (2025). Partial program analysis for staged compilation systems. Formal Methods in System Design, 65(1), 195-230. https://doi.org/10.1007/s10703-024-00458-x

Springer - Basic (author-date)

Anand A, Thakur M (2025) Partial program analysis for staged compilation systems.. Formal Methods in System Design 65:195-230. https://doi.org/10.1007/s10703-024-00458-x

Juristische Zitierweise (Stüber) (Deutsch)

Anand, Aditya/ Thakur, Manas, Partial program analysis for staged compilation systems., Formal Methods in System Design 2025, 195-230.

Warning: These citations may not always be 100% accurate.