APA (7th ed.) Citation

Bartocci, E., Ferrère, T., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2025). Information-flow interfaces. Formal Methods in System Design, 66(1), 3. https://doi.org/10.1007/s10703-024-00447-0

Chicago Style (17th ed.) Citation

Bartocci, Ezio, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. "Information-flow Interfaces." Formal Methods in System Design 66, no. 1 (2025): 3. https://doi.org/10.1007/s10703-024-00447-0.

MLA (9th ed.) Citation

Bartocci, Ezio, et al. "Information-flow Interfaces." Formal Methods in System Design, vol. 66, no. 1, 2025, p. 3, https://doi.org/10.1007/s10703-024-00447-0.