APA (7th ed.) Citation

Bronevetsky, G., Burke, M. G., Aananthakrishnan, S., Reichenbach, C., Jisheng, Z., Sarkar, V., . . . Lund University, P. a. a. o. s. r. e. (2025). Compositional dataflow analysis via abstract transition systems.

Chicago Style (17th ed.) Citation

Bronevetsky, Greg, Michael G. Burke, Sriram Aananthakrishnan, Christoph Reichenbach, Zhao Jisheng, Vivek Sarkar, Faculty of Engineering Lund University, Faculty of Engineering Lund University, and Profile areas and other strong research environments Lund University. Compositional Dataflow Analysis via Abstract Transition Systems. 2025.

MLA (9th ed.) Citation

Bronevetsky, Greg, et al. Compositional Dataflow Analysis via Abstract Transition Systems. 2025.