Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., . . . Norrild, V. A. M. (2023). State of the Art Report: Verified Computation.
Chicago Style (17th ed.) CitationWoodcock, Jim, et al. State of the Art Report: Verified Computation. 2023.
MLA (9th ed.) CitationWoodcock, Jim, et al. State of the Art Report: Verified Computation. 2023.
Warning: These citations may not always be 100% accurate.