State of the Art Report: Verified Computation

MLA

Woodcock, Jim, et al. State of the Art Report: Verified Computation. 2023. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2308.15191&authtype=sso&custid=ns315887.

APA

Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I., & Norrild, V. A. M. (2023). State of the Art Report: Verified Computation.

Chicago

Woodcock, Jim, Mikkel Schmidt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, et al. 2023. “State of the Art Report: Verified Computation.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2308.15191&authtype=sso&custid=ns315887.