Laurel: Generating Dafny Assertions Using Large Language Models

MLA

Mugnier, Eric, et al. Laurel: Generating Dafny Assertions Using Large Language Models. 2024. 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.2405.16792&authtype=sso&custid=ns315887.

APA

Mugnier, E., Gonzalez, E. A., Jhala, R., Polikarpova, N., & Zhou, Y. (2024). Laurel: Generating Dafny Assertions Using Large Language Models.

Chicago

Mugnier, Eric, Emmanuel Anaya Gonzalez, Ranjit Jhala, Nadia Polikarpova, and Yuanyuan Zhou. 2024. “Laurel: Generating Dafny Assertions Using Large Language Models.” 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.2405.16792&authtype=sso&custid=ns315887.